OAI/Probability/SLE/Geometry/ClosedComplexPair.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Gluing two prescribed homeomorphisms on closed pieces.

  1. def OAI.SLEExactGauge.closedComplexPairHomeomorph line 11