OAI/Analysis/IrrationalRotation/Model/CharacterLaw.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Invariant233.CharacterLaws.circleHaar line 12
2. def OAI.Invariant233.CharacterLaws.torusHaar line 15
3. def OAI.Invariant233.CharacterLaws.characterMap line 20
4. def OAI.Invariant233.CharacterLaws.characterLaw line 24
5. def OAI.Invariant233.CharacterLaws.characterPhaseLaw line 27
6. def OAI.Invariant233.CharacterLaws.haarPhaseLaw line 32