Theorem LieModuleEquiv.injective

Modification history