Theorem Matrix.discr_conj

Modification history

2025-10-20 10:08
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Added Matrix.discr_conjView on Github →