Skip to content

Fix FroidurePinExtendedAlg for partial perm monoids#1697

Merged
markuspf merged 1 commit intogap-system:masterfrom wilfwilson:fix-issue-1674Sep 9, 2017

Commits

Commits on Sep 7, 2017