Theorem Algebra.PreSubmersivePresentation.aevalDifferential_single

Modification history