Theorem LieSubmodule.sInf_coe_toSubmodule'

Modification history