SlitRawCapacity.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Every prescribed simple arc prefix, extended by a vertical image, has an actual global capacity-two witness with its exact raw maps.

theorem OAI.SLEExactGauge.RegularSLEPresentation.slit_raw_capacity_witness line 14