Theorem Algebra.smoothLocus_comap_of_isLocalization

Modification history