Theorem Algebra.Smooth.of_isLocalization_Away

Modification history