Theorem Algebra.SubmersivePresentation.basisDeriv_apply

Modification history