Theorem BirdDet.sumFrom_step

Modification history

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