Theorem Algebra.PreSubmersivePresentation.toGenerators_comp

Modification history