OAI/Analysis/CircleDomains/Transfer/ModelSelectedTests.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The simultaneous selection is an admissible finite appended list, ready for the proved scalar circle-model construction.

  1. theorem OAI.CircleDomainRigidity.CompactScalarModel.FlattenedSourceSelection.compact_tests line 15