Def Fin2.elim0

Modification history

2024-03-05 04:47

Mathlib/Data/Fin/Fin2.lean

chore: move Mathlib to v4.7.0-rc1 (#11162) …

Modified Fin2.elim0 View on Github →

2022-10-18 20:09

Mathlib/Data/Fin/Fin2.lean

feat: port Data.Fin.Fin2 (#478)

Added Fin2.elim0 View on Github →