Mathlib v3 is deprecated. Go to Mathlib v4

Def GroupWithZero.iso.mk

Modification history

2022-02-26 23:31

src/algebra/category/GroupWithZero.lean

feat(algebra/category/GroupWithZero): The category of groups with zero (#12278) …

Added GroupWithZero.iso.mk View on Github →