Theorem LinearEquiv.conj_conj_symm

Modification history