Theorem Algebra.Etale.of_equiv

Modification history