OAI/Dynamics/ConditionalShuffle/Fibers.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Disintegration.fairMass_comp_equiv line 10
2. lemma OAI.Revealed.Disintegration.conditional_injective line 17
3. lemma OAI.Revealed.Disintegration.conditional_mul_invariant line 47
4. lemma OAI.Thorp.Trim.signDichotomy_uniform line 67
5. lemma OAI.Thorp.Trim.sign_zero_of_right_invariant line 71
6. lemma OAI.Thorp.Trim.signDichotomy_conditional_injective line 80
7. lemma OAI.Thorp.Trim.signDichotomy_conditional_symmetry line 88