OAI/Probability/SwitchChain/PairAffineInteraction.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem315.PairEquality.AffineFlagImage line 15
2. theorem OAI.Problem315.PairEquality.affineFlagImage_of_cellwise line 21
3. theorem OAI.Problem315.PairEquality.fluctuation_mem_of_affineFlagImage line 44
4. theorem OAI.Problem315.PairEquality.projection_fixes_fluctuation_of_affineFlagImage line 53
5. theorem OAI.Problem315.PairEquality.interaction_of_affine_conditional_images line 61
6. theorem OAI.Problem315.PairEquality.switch_interaction_of_affine_conditional_images line 84