OAI/Combinatorics/PolynomialVacuum/Puncture/ThermalIntegral.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumCylinder.thermalLog line 9
2. def OAI.PolynomialVacuumCylinder.thermalTerm line 10
3. theorem OAI.PolynomialVacuumCylinder.thermalTerm_integrable line 13
4. theorem OAI.PolynomialVacuumCylinder.thermalTerm_integral line 17
5. theorem OAI.PolynomialVacuumCylinder.thermalLog_series line 24
6. theorem OAI.PolynomialVacuumCylinder.thermalLog_integral line 41
7. theorem OAI.PolynomialVacuumCylinder.thermalLog_integrable line 68
8. theorem OAI.PolynomialVacuumCylinder.thermalLog_scale line 74