OAI/RepresentationTheory/SpinAngle/
472 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- Compression.lean 9 declarations
- Core.lean 445 declarations
- TypeAngle.lean 18 declarations
OAI/RepresentationTheory/SpinAngle/472 declarations, 0 contain sorry, 0 declared as axioms; 3 files