Theorem LieSubalgebra.coe_incl

Modification history