Theorem VectorField.lieBracketWithin_const_smul_right

Modification history