Mathlib v3 is deprecated. Go to Mathlib v4

Theorem punit.div_eq

Modification history

2022-03-24 17:30
src/algebra/punit_instances.lean
feat(algebra/category/BoolRing): The category of Boolean rings (#12905) …
Modified punit.div_eqView on Github →
2020-12-16 15:31
src/algebra/punit_instances.lean
chore(*): add a `div`/`sub` field to (`add_`)`group`(`_with_zero`) (#5303) …
Added punit.div_eqView on Github →