Theorem LinearEquiv.conj_symm_conj

Modification history