Theorem LieEquiv.symm_trans

Modification history