Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zmod.eq_one_iff_odd

Modification history

2020-12-11 01:46
src/data/zmod/parity.lean
feat(combinatorics/simple_graph/degree_sum): degree-sum formula and handshake lemma (#5263) …
Added zmod.eq_one_iff_oddView on Github →