Theorem LieSubmodule.inf_coe

Modification history