Documentation

LeanPool.ConwaySoifer.Simplified.Certificates.Data.Sint280000290000

Exact certificate data adapted from the upstream public release.

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

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