OAI/Probability/InvariantIsing/Haar/HaarPolynomialEvolution.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Positivity comparison for polynomial supersolutions of the rotation heat equation.

  1. theorem OAI.InvariantIsing.haarPolynomial_evolution_nonneg line 10