Theorem Algebra.FormallyEtale.iff_unramified_and_smooth

Modification history