Theorem Algebra.PreSubmersivePresentation.jacobian_eq_jacobiMatrix_det

Modification history