OAI/Dynamics/EntropyCounterexample/SphereCutoffTransport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem340.SphereCutoffs.clockGate_sphereOfComplex line 11
2. theorem OAI.Problem340.SphereCutoffs.preparationCutoff_sphereOfComplex line 16
3. theorem OAI.Problem340.SphereCutoffs.clockGate_chartNorthPole line 21
4. theorem OAI.Problem340.SphereCutoffs.preparationCutoff_chartNorthPole line 26
5. theorem OAI.Problem340.SphereCutoffs.clockGate_complexSphereHomeomorph line 31
6. theorem OAI.Problem340.SphereCutoffs.preparationCutoff_complexSphereHomeomorph line 38
7. theorem OAI.Problem340.SphereCutoffs.onePointClockGate_complexSphereHomeomorph_symm line 44
8. theorem OAI.Problem340.SphereCutoffs.onePointPreparationCutoff_complexSphereHomeomorph_symm line 48