Theorem LieSubmodule.incl_eq_val

Modification history