OAI/Analysis/CircleDomains/Selection/CountableConstantPairs.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Changing one coordinate inside countably many sets where the other coordinate is constant preserves the null-area trace-pair condition.

  1. theorem OAI.CircleDomainRigidity.pair_null_of_countable_constant_cover line 13