Theorem LieSubalgebra.mem_coe

Modification history