OAI/MathematicalPhysics/Fock/
179 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Beam.lean 94 declarations
- Operators.lean 85 declarations
OAI/MathematicalPhysics/Fock/179 declarations, 0 contain sorry, 0 declared as axioms; 2 files