Theorem LinearEquiv.lieConj_symm

Modification history