Theorem Algebra.FormallyEtale.of_isLocalization

Modification history