Theorem LieModuleEquiv.self_trans_symm

Modification history