APNOutputs/AICollaborator/QuantumOptics/
266 declarations, 72 contain sorry, 0 declared as axioms; 2 files
Files
- 35.lean 194 declarations
- MonochromaticQuantumGraph.lean 72 declarations
APNOutputs/AICollaborator/QuantumOptics/266 declarations, 72 contain sorry, 0 declared as axioms; 2 files