FivePieceSplicing.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The exact five-piece attachment used by collar splicing: initial tail, short arc, retained middle, short arc, final tail.

theorem OAI.CircleDomainRigidity.exists_allowed_five_piece_splicing line 19