Theorem Nat.cond_decide_mod_two

Modification history

2023-01-25 09:35
Mathlib/Init/Data/Nat/Lemmas.lean
feat: port data.bitvec.core (#1731)
Added Nat.cond_decide_mod_twoView on Github →