Theorem Algebra.PreSubmersivePresentation.jacobian_reindex

Modification history