OAI/Analysis/IrrationalRotation/Rotation/CircleCocycleSupport.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Invariant233.CircleParameterLaws.measurePreserving_coordinate line 16
2. theorem OAI.Invariant233.CircleParameterLaws.ae_all_int_finite_floor_support line 28
3. theorem OAI.Invariant233.CircleParameterLaws.ae_all_int_finite_floor_support_of_ac line 37
4. theorem OAI.Invariant233.CircleParameterLaws.ae_endpoint_all_int_finite_floor_support line 43
5. theorem OAI.Invariant233.CircleParameterLaws.ae_pair_all_int_finite_floor_support line 51