Theorem LieSubmodule.inf_coe_toSubmodule

Modification history