Zulip Chat Archive
Stream: new members
Topic: decidable_prep on even
Yakov Pechersky (Nov 01 2020 at 07:42):
Why is it in a separate file from algebra/ring/basic? docs#nat.even.decidable_pred
Last updated: Feb 28 2026 at 14:05 UTC
Why is it in a separate file from algebra/ring/basic? docs#nat.even.decidable_pred
Last updated: Feb 28 2026 at 14:05 UTC