Theorem LieSubmodule.iInf_coe_toSubmodule

Modification history