OAI/Dynamics/StandardMap/TreeAffine.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- lemma
OAI.StandardMapEntropy.tree_chain_additiveline 11 - lemma
OAI.StandardMapEntropy.tree_chain_affineline 39
OAI/Dynamics/StandardMap/TreeAffine.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.StandardMapEntropy.tree_chain_additive line 11OAI.StandardMapEntropy.tree_chain_affine line 39