Documentation

LeanPool.Polylean.Complexes

Complexes #

Import index for the Polylean complex and groupoid structures that are available without upstream sorrys.