Theorem LinearEquiv.det_conj

Modification history