Skip to content

correcting behaviour of LeftCoset creation#78

Merged
cdwensley merged 1 commit into
gap-packages:masterfrom
rlutowsk:rl-leftcosets
Apr 10, 2025
Merged

correcting behaviour of LeftCoset creation#78
cdwensley merged 1 commit into
gap-packages:masterfrom
rlutowsk:rl-leftcosets

Commits

Commits on Apr 9, 2025