Theorem LieModule.map_posFittingComp_le

Modification history