OAI/Probability/SignedSweeps/MarkedMultiplicity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.conjugateRestrictionHom line 13
2. lemma OAI.SignedSweeps.conjugateRestrictionHom_injective line 31
3. lemma OAI.SignedSweeps.conjugate_restriction_multiplicity_le line 43
4. lemma OAI.SignedSweeps.signed_occurrence_restriction_multiplicity line 58
5. lemma OAI.SignedSweeps.signed_occurrence_marked_restriction_multiplicity line 84
6. theorem OAI.SignedSweeps.signed_occurrence_marked_multiplicity line 105