Theorem Algebra.FormallySmooth.of_equiv

Modification history