Theorem VectorField.mpullback_smul_apply

Modification history