Theorem VectorField.mpullbackWithin_smul_apply

Modification history