Commit 2024-10-04 20:24 2f7bdced

View on Github →

feat: not_odd_zero for Nat and Int (#17419) Zulip thread

Estimated changes

added theorem Int.not_odd_zero
added theorem Nat.not_odd_zero