Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.fin_two_eq_of_eq_zero_iff

Modification history

2021-12-24 19:23
src/data/fin/basic.lean
chore(topology/*): Eliminate `finish` (#10991) …
Added fin.fin_two_eq_of_eq_zero_iffView on Github →