OAI/Analysis/CircleDomains/Probability/CircleSupportedLaw.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Transport of atomless boundary laws along an actual circle parametrization.

  1. theorem OAI.CircleDomainRigidity.circle_supported_map_nullSingletonClass line 16
  2. theorem OAI.CircleDomainRigidity.ae_circle_coordinate_inverse line 33
  3. theorem OAI.CircleDomainRigidity.exists_four_circle_arcs_of_supported_law line 43