OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumFourTensorCompression.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact one-block and two-block compression in the full tensor encoding.

  1. theorem OAI.ContinuumCoulomb.qmaFourTensor_site_compression line 13
  2. theorem OAI.ContinuumCoulomb.qmaFourTensor_pair_compression line 23