OAI/MeasureTheory/DyadicAvoidance/Main.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem310.periodic_hitting_set line 81
2. theorem OAI.Problem310.dyadic_affine_avoidance line 103

   Distinct definitions of this name: ComparatorChallenges/DyadicAvoidance.lean:12 (same statement text; different proof or body). Qualify references as OAI.Problem310.dyadic_affine_avoidance@path.