Theorem Algebra.basicOpen_subset_smoothLocus_iff_smooth

Modification history