Skip to content

Semi Direct Product of Groups via Oscar for 2BGA given ℤₗ⋉ℤₘ and presentation#382

Draft
Fe-r-oz wants to merge 1 commit intoQuantumSavory:masterfrom Fe-r-oz:2bga
+75

Commits