Mathlib v3 is deprecated. Go to Mathlib v4

Def fin.rev

Modification history

2022-10-03 14:28
src/data/fin/basic.lean
refactor(data/fin/basic): merge `fin.rev` and `order_iso.fin_equiv` (#16745) …
Modified fin.revView on Github →
2022-10-01 11:17
src/data/fin/basic.lean
feat(algebraic_topology/dold_kan): decomposition of Q (#16357) …
Added fin.revView on Github →