OAI/Analysis/CircleDomains/Selection/PhysicalRealCodeLevels.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Real seed coordinates retain the same code-law intersection estimates when interspersed with masked period coordinates in an inherited order.

  1. theorem OAI.CircleDomainRigidity.PhysicalRealCoordinate.ranked_code_generic_levels line 18