module

public import StructureDocstrings.A

public section

class GroupWithZero (G : Type) extends Monoid G, DivInvMonoid G where