Add new operations (cf. `RawQuasigroup`) to `IsGroup`#2251

Merged

MatthewDaggitt merged 22 commits intoagda:masterfrom jamesmckinna:group-operations

Mar 16, 2024

Commits on Jan 11, 2024

added new operations to IsGroup
jamesmckinna
committed

Commits on Jan 31, 2024

reflexive reasoning; tightened imports
jamesmckinna
committed

Commits on Feb 3, 2024

Commits on Feb 5, 2024

Merge branch 'master' into group-operations
jamesmckinna
authored

Commits on Mar 16, 2024