Skip to content

Improve viewing of empty semigroups#3052

Merged
fingolfin merged 1 commit intogap-system:masterfrom wilfwilson:empty-semigroupNov 26, 2018

Commits

Commits on Nov 25, 2018