Theorem LieSubmodule.sSup_coe_toSubmodule'

Modification history