Theorem Algebra.SubmersivePresentation.isStandardSmooth

Modification history