OAI/Dynamics/EntropyCounterexample/MapTerminalEntropy.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.Construction.TerminalEntropy.registers line 14
2. theorem OAI.Problem340.Construction.TerminalEntropy.zero_semiconj line 17
3. def OAI.Problem340.Construction.TerminalEntropy.terminalSet line 23
4. theorem OAI.Problem340.Construction.TerminalEntropy.terminalSet_nonempty line 26
5. theorem OAI.Problem340.Construction.TerminalEntropy.isCompact_terminalSet line 29
6. theorem OAI.Problem340.Construction.TerminalEntropy.concreteMap_mapsTo_zero line 33
7. theorem OAI.Problem340.Construction.TerminalEntropy.concreteMap_mapsTo_terminal line 40
8. theorem OAI.Problem340.Construction.TerminalEntropy.coverEntropy_zero_image line 47
9. theorem OAI.Problem340.Construction.TerminalEntropy.coverEntropy_terminal_image line 79
10. theorem OAI.Problem340.Construction.TerminalEntropy.mapsTo_terminal_image line 88
11. theorem OAI.Problem340.Construction.TerminalEntropy.coverEntropy_eq_zero_of_terminal_attraction line 95