`OAI/Analysis/IrrationalRotation/`

6388 declarations, 0 contain sorry, 0 declared as axioms; 933 files

Folders

Analysis/ 220 files, 1674 declarations
Couplings/ 68 files, 426 declarations
Model/ 114 files, 587 declarations
Operators/ 78 files, 470 declarations
Product/ 82 files, 514 declarations
Rotation/ 147 files, 1039 declarations
Sampling/ 157 files, 1207 declarations
Spectral/ 64 files, 420 declarations

Files

Main.lean 45 declarations
PrescribedAngle.lean 3 declarations
PrescribedAngleConditional.lean 3 declarations