Theorem Fin.zero_def

Modification history

2023-01-12 19:47

Mathlib/Data/Fin/Basic.lean

feat: port Data.Fin.Basic (#1084) …

Deleted Fin.zero_def View on Github →

2021-11-19 07:29

Mathlib/Data/Fin/Basic.lean

feat(Data/UInt, Data/Fin/Basic) declarations (#90) …

Added Fin.zero_def View on Github →