MatchedSliceCover.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

Scalar values across an axial segment are covered by actual domain images, common-point traces and the corresponding remaining target disks.

theorem OAI.CircleDomainRigidity.MatchedConformalEnds.scalar_slice_cover line 17