Theorem LieSubmodule.iInf_coe

Modification history