OAI/Analysis/CircleDomains/Transfer/SubordinateGraphCompletion.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Complete the physical collision terminals with filling caps lying inside the chosen local real-branch neighborhoods.

  1. theorem OAI.CircleDomainRigidity.FiniteTransfer.exists_subordinate_geometric_completion_for_graphs line 15