Theorem LinearEquiv.det_mul_det_symm

Modification history