Zero Group

The zero group is the unique group structure on the Unit Type.

Properties

• The zero group is an Abelian Group.
• The zero group is a Zero Object.