Def Mathlib.Tactic.Determinant.arrayLiteral?

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.arrayLiteral?View on Github →