OAI/Dynamics/EntropyCounterexample/OrderedIntervalLabels.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.abs_sub_lt_of_floor_div_eq line 9
2. def OAI.Problem340.orderedIntervalLabel line 24
3. theorem OAI.Problem340.monotone_orderedIntervalLabel line 29
4. theorem OAI.Problem340.orderedIntervalLabel_small_fiber line 34
5. theorem OAI.Problem340.exists_monotone_interval_labels line 40