OAI/Dynamics/EntropyCounterexample/SphereCompactSupport.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem340.SphereCompactSupport.extension line 17
2. theorem OAI.Problem340.SphereCompactSupport.extension_pole line 23
3. theorem OAI.Problem340.SphereCompactSupport.extension_of_ne line 28
4. theorem OAI.Problem340.SphereCompactSupport.exists_local_ambient_extension line 34
5. theorem OAI.Problem340.SphereCompactSupport.continuous_extension line 72