Theorem LieSubalgebra.coe_bracket_of_module

Modification history