OAI/Dynamics/StandardMap/ArrayActions.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StandardMapEntropy.arrayTranslate_mem_affine_iff line 11
2. def OAI.StandardMapEntropy.nonaffineTranslation line 19
3. def OAI.StandardMapEntropy.nonaffineDilate line 26
4. lemma OAI.StandardMapEntropy.continuous_nonaffineDilate line 28
5. lemma OAI.StandardMapEntropy.proper_nonaffineDilate line 30
6. def OAI.StandardMapEntropy.nonaffineDilation line 47
7. def OAI.StandardMapEntropy.arrayTestExtend line 52
8. lemma OAI.StandardMapEntropy.arrayTestExtend_apply line 56
9. lemma OAI.StandardMapEntropy.arrayTestExtend_affine line 58
10. lemma OAI.StandardMapEntropy.integral_arrayTestExtend line 63