OAI/Analysis/CircleDomains/Probability/MeasurablePieceInverse.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Measurable zero extensions of the inverse on a Borel image piece.

  1. def OAI.CircleDomainRigidity.inverseOnPiece line 11
  2. lemma OAI.CircleDomainRigidity.measurable_inverseOnPiece line 14
  3. lemma OAI.CircleDomainRigidity.inverseOnPiece_eq line 19
  4. lemma OAI.CircleDomainRigidity.measurable_inversePieceDifferential line 23