OAI/NumberTheory/Catalan/Energy/BarrierFractionAlgebra.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.InternalCatalan.barrierFractionProduct_append_exact line 9
2. theorem OAI.InternalCatalan.barrierFractionNumerator_append_exact line 14
3. theorem OAI.InternalCatalan.barrierFractionProduct_scale_exact line 31
4. theorem OAI.InternalCatalan.barrierFractionNumerator_scale_exact line 36