Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Data.Sext230000240000

Exact certificate data adapted from the upstream public release.

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

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