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: May 02 2025 at 03:31 UTC
Why is it in a separate file from algebra/ring/basic? docs#nat.even.decidable_pred
Last updated: May 02 2025 at 03:31 UTC