OAI/Analysis/FreeEntropy/WordLinearLaw.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteEntropySeparation.wordEval_mem line 11
2. theorem OAI.FiniteEntropySeparation.wordMoment_cyclic line 16
3. theorem OAI.FiniteEntropySeparation.wordMoment_restrict line 23
4. theorem OAI.FiniteEntropySeparation.reparam_wordMoment line 29
5. theorem OAI.FiniteEntropySeparation.pairDerivative_eq line 54
6. theorem OAI.FiniteEntropySeparation.derivativeMoment_series line 59
7. theorem OAI.FiniteEntropySeparation.pairDerivative_congr line 66