Theorem Algebra.FormallySmooth.liftOfSurjective_apply

Modification history