OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumSpatialTerms.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Every term in the actual distributed history is near its ordered reference.

  1. theorem OAI.ContinuumCoulomb.qmaSparseOutput_cell line 12
  2. theorem OAI.ContinuumCoulomb.qmaSparseHistoryTerm_cell line 38