Theorem LieSubalgebra.coe_set_eq

Modification history