Def normalizeBirdDet

Modification history

2026-07-24 12:38
Mathlib/Tactic/NormDet.lean
feat(Tactic/NormDet): change norm_det simproc to work with Matrix.det (#42059) …
Deleted normalizeBirdDetView on Github →
2026-07-02 19:14
Mathlib/Tactic/Determinant/Bird.lean
feat: add normalization simproc for Bird's determinant algorithm (#41158) …
Added normalizeBirdDetView on Github →