GroupLaws

laws

GroupProperties

GroupLaws

gcdRing

RingLaws

gen

laws

group

GroupLaws

groupAction

ActionLaws

groupPartialAction

PartialActionLaws

groupoid

PartialGroupLaws

groupoidPartialAction

PartialActionLaws