Theorem Algebra.isOpen_smoothLocus

Modification history