OAI/Probability/SignedSweeps/EmbeddedImprimitivity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.embeddedFiberAverage line 14
2. lemma OAI.SignedSweeps.embeddedFiberAverage_compression line 36
3. lemma OAI.SignedSweeps.embeddedFiberAverage_injective line 68
4. theorem OAI.SignedSweeps.embedded_fiber_multiplicity_le line 83