Theorem LinearEquiv.conj_refl

Modification history