Theorem Algebra.FormallyEtale.of_unramified_and_smooth

Modification history