Skip to content

Normal form of FreeGroup#1099

Merged
felixwellen merged 16 commits intoagda:masterfrom marcinjangrzybowski:freeGroup-normal-formApr 12, 2024

Commits

Commits on Feb 6, 2024

Commits on Feb 21, 2024

Commits on Feb 28, 2024

Commits on Mar 24, 2024

Commits on Mar 28, 2024

Commits on Mar 31, 2024