OAI/Analysis/CircleDomains/Topology/CompactScalarCircleModelData.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual retained circle-model data, separated from their construction.

  1. structure OAI.CircleDomainRigidity.CompactScalarCircleModel line 15