Theorem Algebra.FormallySmooth.comp_liftOfSurjective

Modification history