Theorem Fin.one_def:

Modification history

2021-12-16 18:00
Mathlib/Data/Fin/Basic.lean
feat: binary heaps (#136) …
Deleted Fin.one_def:View on Github →
2021-11-19 07:29
Mathlib/Data/Fin/Basic.lean
feat(Data/UInt, Data/Fin/Basic) declarations (#90) …
Added Fin.one_def:View on Github →