Def Mathlib.Tactic.Determinant.reifyBirdDet

Modification history

2026-07-02 19:14
Mathlib/Tactic/Determinant/Bird/Meta.lean
feat: add normalization simproc for Bird's determinant algorithm (#41158) …
Added Mathlib.Tactic.Determinant.reifyBirdDetView on Github →