OAI/NumberTheory/Catalan/FiniteMatrices/FixedGaussianManuscriptTrace.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.InternalCatalan.fixedGaussianMinusStates line 12
2. theorem OAI.InternalCatalan.fixedGaussianMinus_trace line 65
3. def OAI.InternalCatalan.fixedGaussianPlusStates line 130
4. theorem OAI.InternalCatalan.fixedGaussianPlus_trace line 183
5. def OAI.InternalCatalan.fixedGaussianZeroStates line 248
6. theorem OAI.InternalCatalan.fixedGaussianZero_trace line 301
7. theorem OAI.InternalCatalan.fixedGaussian_manuscript_trace line 366