Skip to content

Fix incorrect IsFinitelyGeneratedMonoid method#2280

Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/fix-IsFinitelyGeneratedMonoidMar 23, 2018

Commits

Commits on Mar 22, 2018