Theorem VectorField.mpullback_smul

Modification history