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: May 02 2025 at 03:31 UTC