Theorem Algebra.PreSubmersivePresentation.jacobiMatrix_reindex

Modification history