Skip to content

Group Theory

Dario Halilovic requested to merge github/fork/dhalilov/main into main

Definitions and theorem about group theory, done in the context of set theory as part of a Bachelor project.

This is a draft PR to show progress (no intent to merge for now).

Merge request reports