OAI/Geometry/HeilbronnTriangle/MixtureLifting.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.MixtureLifting.mixtureColumnMass line 14
2. lemma OAI.Problem355.MixtureLifting.mixtureColumnMass_nonneg line 19
3. lemma OAI.Problem355.MixtureLifting.sum_mixtureColumnMass line 27
4. lemma OAI.Problem355.MixtureLifting.exchange_shared_latent line 39
5. lemma OAI.Problem355.MixtureLifting.averaged_mixture_columns_eq_liftedMixture line 60
6. lemma OAI.Problem355.MixtureLifting.mixture_event_eq_liftedMixture line 82
7. lemma OAI.Problem355.MixtureLifting.sum_shared_mixtureWeight line 101