Theorem Fin.cons_removeNth_eq_comp_cycleRange_symm

Modification history

2026-07-19 02:25
Mathlib/GroupTheory/Perm/Fin.lean
feat: add theorem that Bird's determinant algorithm computes Matrix.det (#41160) …
Added Fin.cons_removeNth_eq_comp_cycleRange_symmView on Github →