Documentation

LeanPool.Polylean.Polymath

Demonstration executable for Polylean length computations #

source
def LeanPool.Polylean.polymathMain :
IO Unit

Demonstration executable for the conjugacy-invariant length computations.

Equations
  • One or more equations did not get rendered due to their size.
Instances For