OAI/Combinatorics/PolynomialVacuum/Algebra/ScalingTensors.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.exchangeNumerator_scale line 8
  2. theorem OAI.PolynomialVacuumAlgebra.exchangeDenominator_scale line 13
  3. theorem OAI.PolynomialVacuumAlgebra.siteR_scale line 17
  4. theorem OAI.PolynomialVacuumAlgebra.LowerExchange.scale line 25
  5. theorem OAI.PolynomialVacuumAlgebra.liftState_homogeneous_scale line 36
  6. theorem OAI.PolynomialVacuumAlgebra.fusionPair_scale line 42
  7. theorem OAI.PolynomialVacuumAlgebra.naturalFusion_scale line 45
  8. def OAI.PolynomialVacuumAlgebra.scalingDiscrepancy line 51
  9. theorem OAI.PolynomialVacuumAlgebra.eval_scalingDiscrepancy line 54
  10. theorem OAI.PolynomialVacuumAlgebra.scalingDiscrepancy_exchange line 61