OAI/Dynamics/StandardMap/BridgeKernel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.real_axes_decomposition line 11
2. lemma OAI.StandardMapEntropy.row_axes_decomposition line 13
3. lemma OAI.StandardMapEntropy.normalized_kernel_from_stable line 18
4. lemma OAI.StandardMapEntropy.eligible_row_contraction line 50