Code

Implement PositionsBound.#2223

Code

Merged

fingolfin merged 1 commit intogap-system:mastergap-system/gap:masterfrom markusbaumeister:positionsBoundmarkusbaumeister/gap:positionsBoundCopy head branch name to clipboardMar 7, 2018

+52-1

Commits

Commits on Mar 7, 2018

• Implement PositionsBound.

  Show description for 18c42f1
  markusbaumeister

  committed
  18c42f1

  Copy full SHA for 18c42f1