Commit 2024-12-26 07:24 4ccace04

View on Github →

chore(*): golf using omega (#20231) Found by https://github.com/dwrensha/tryAtEachStep

Estimated changes

modified theorem Int.emod_two_eq_zero_or_one
modified theorem Int.neg_emod_two
modified theorem Nat.add_eq_one_iff
modified theorem Nat.add_succ_lt_add
modified theorem Nat.le_add_one_iff
modified theorem Nat.le_and_le_add_one_iff