Theorem Algebra.SubmersivePresentation.aevalDifferentialEquiv_apply

Modification history