OAI/InformationTheory/QuantumCircuit/SpectralIdentities.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Finite Pauli expansions and spectral identities in product bases.

  1. structure OAI.QAC.LocalExpansionTerm line 12
  2. def OAI.QAC.LocalExpansionTerm.value line 18
  3. def OAI.QAC.PublishedPauliExpansion line 21
  4. structure OAI.QAC.PublishedProductSpectralResolution line 29