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: Dec 20 2023 at 11:08 UTC
Why is it in a separate file from algebra/ring/basic? docs#nat.even.decidable_pred
Last updated: Dec 20 2023 at 11:08 UTC