Theorem Algebra.FormallySmooth.iff_split_surjection

Modification history