OAI/Computability/MinUncut/PCP/Parity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.GaussianHermite.H_neg line 20
2. lemma OAI.MinUncut.GaussianHermite.H_sign line 24
3. def OAI.MinUncut.GaussianHermite.parity line 39
4. lemma OAI.MinUncut.GaussianHermite.psi_diagonal line 41
5. lemma OAI.MinUncut.GaussianHermite.coeff_diagonal line 45