Theorem LinearEquiv.det_refl

Modification history