PositiveSlitCapacity.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Every nontrivial simple attached slit has strictly positive capacity. The proof rules out a zero-mass inverse displacement.

theorem OAI.SLEExactGauge.simple_slit_exists_positive_capacity_chart line 14