Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.cycle_range_symm_succ

Modification history

2021-04-24 19:36
src/group_theory/perm/fin.lean
feat(linear_algebra): Lagrange formulas for expanding `det` along a row or column (#6897) …
Added fin.cycle_range_symm_succView on Github →