Theorem VectorField.mpullback_neg_apply

Modification history