Theorem VectorField.mpullback_neg

Modification history