OAI/Analysis/CircleDomains/Selection/RankedTuplePairs.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Independent tuple null sets with the inherited coordinate order.

  1. def OAI.CircleDomainRigidity.RankedTuplePairCompatible line 15
  2. theorem OAI.CircleDomainRigidity.tupleReference_ranked_pair_incompatible_null line 25