Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Data.Across072500077500

Exact certificate data adapted from the upstream public release.

Exact interval and proposed forced-point trace for the Across contact case.

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