Theorem VectorField.lieBracket_const_smul_right

Modification history