Skip to content

Turn IsDirectSumOfModules into a pure filter#16

Merged
sunnyquiver merged 1 commit intogap-packages:masterfrom fingolfin:mh/IsDirectSumOfModulesAug 24, 2018
+4-23

Commits

Commits on Aug 24, 2018