Def Fin2.castSucc

Modification history

2024-06-06 10:40
Mathlib/Data/Fin/Fin2.lean
feat: define `Fin2.rev` analogously to `Fin.rev` (#10818) …
Added Fin2.castSuccView on Github →