Theorem Algebra.smoothLocus_eq_univ_iff

Modification history