Theorem LieModuleEquiv.symm_trans

Modification history