Open dhalilov opened 1 year ago
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).
@dhalilov this PR is dependent on a PR on your fork, dhalilov/lisa#1 to handle some merge conflicts
Update: after #166, I will need to update dhalilov/lisa#1 as well to fix some conflicts
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).