OAI/Probability/SwitchChain/SliceFrameProjection.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Problem315.SliceSynthesis.synthesis_eq_frame line 15
2. theorem OAI.Problem315.SliceSynthesis.half_projection_frame_apply line 24
3. theorem OAI.Problem315.SliceSynthesis.half_projection_frame_energy line 38