boolean_ring): `bool` is a Boolean ring (#15004)

Commit

3 years ago

feat(algebra/ring/boolean_ring): `bool` is a Boolean ring (#15004) and a few `bool` lemmas.

Author

YaelDillies

Parents