OAI/Probability/SLE/LowerPositivity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Lower Positivity for chordal SLE.

  1. def OAI.SLEExactGauge.segment line 46

    Distinct definitions of this name: ComparatorChallenges/SLELowerPositivity.lean:68 (same statement text; different proof or body). Qualify references as OAI.SLEExactGauge.segment@path.

  2. def OAI.SLEExactGauge.SourceLowerMainTarget line 50

    Also declared: ComparatorChallenges/SLELowerPositivity.lean:70 (same declaration text).

  3. theorem OAI.SLEExactGauge.sourceLowerMain_proved line 60

    Distinct definitions of this name: ComparatorChallenges/SLELowerPositivity.lean:78 (same statement text; different proof or body). Qualify references as OAI.SLEExactGauge.sourceLowerMain_proved@path.