Theorem Algebra.PreSubmersivePresentation.jacobiMatrix_apply

Modification history