Theorem Algebra.basicOpen_subset_smoothLocus_iff

Modification history