Theorem LieSubalgebra.inf_coe_to_submodule

Modification history