Theorem LieSubmodule.incl_coe

Modification history