Theorem VectorField.lieBracket_const_smul_left

Modification history