feat(RingTheory/Smooth): formally smooth iff H¹(L_{R/S}) = 0 and Ω_{S/R} is projective
#62554
This job was skipped
Loading
H¹(L_{R/S}) = 0 and Ω_{S/R} is projective
#62554