Theorem Algebra.PreSubmersivePresentation.baseChange_jacobian

Modification history