Theorem Algebra.FormallyEtale.of_equiv

Modification history