GroupLaws

laws

GroupProperties

GroupLaws

group

GroupLaws

groupAction

ActionLaws

groupPartialAction

PartialActionLaws

groupoid

PartialGroupLaws

groupoidPartialAction

PartialActionLaws