OAI/GroupTheory/SimpleAmenable/CentralCovers/CoverUniformBridges.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SimpleAmenable.InitialCoverSystem.old_axis_bridge_control_cover_uniform line 18
2. theorem OAI.SimpleAmenable.InitialCoverSystem.old_rectangle_bridge_control_cover_uniform line 100
3. theorem OAI.SimpleAmenable.InitialCoverSystem.old_rectangle_bridge_to_chart_cover_uniform line 141
4. theorem OAI.SimpleAmenable.InitialCoverSystem.tangent_chart_chain_control_cover_uniform line 193
5. theorem OAI.SimpleAmenable.InitialCoverSystem.tangent_transport_uniform_cover_uniform line 235