Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.nat_add_zero

Modification history

2020-12-12 04:38
src/data/fin.lean
chore(data/fin): Improve docstrings, rename `coe_sub_nat`, add `nat_add_zero` (#5290) …
Added fin.nat_add_zeroView on Github →