Zulip Chat Archive
Stream: general
Topic: boolean ring
Johan Commelin (May 31 2019 at 11:13):
Do we know that Prop or bool is a comm_ring?
Johan Commelin (May 31 2019 at 11:14):
Maybe not as an instance, but as a def?
Chris Hughes (May 31 2019 at 11:35):
We know zmod 2 is
Last updated: Dec 20 2023 at 11:08 UTC