OAI/Analysis/CircleDomains/Selection/TuplePairCompatibility.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Independent tuples satisfy every ordered compatibility test and have no equal levels carrying the same label across the two tuples.

  1. def OAI.CircleDomainRigidity.TuplePairCompatible line 21
  2. theorem OAI.CircleDomainRigidity.ae_torus_pair_distinct line 31
  3. theorem OAI.CircleDomainRigidity.tupleReference_pair_incompatible_null line 52