Theorem Algebra.Smooth.of_equiv

Modification history