Theorem Algebra.PreSubmersivePresentation.baseChange_toPresentation

Modification history