Theorem Fin.default_eq_zero

Modification history

2023-11-20 01:56

Mathlib/Data/Fin/Basic.lean

refactor(Logic/Unique): remove dependency on `Fin` (#8510) …

Modified Fin.default_eq_zero View on Github →

2022-11-03 02:45

Mathlib/Logic/Unique.lean

feat: port Logic.Unique (#512)

Added Fin.default_eq_zero View on Github →