Def Mathlib.Tactic.Determinant.Ctx.iterStepEntry

Modification history

2026-07-19 02:25
Mathlib/Tactic/Determinant/Bird/Cert.lean
feat: add theorem that Bird's determinant algorithm computes Matrix.det (#41160) …
Added Mathlib.Tactic.Determinant.Ctx.iterStepEntryView on Github →