OAI/Probability/SignedSweeps/TensorMultiplicity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SignedSweeps.tensorContract line 13
2. lemma OAI.SignedSweeps.tensorContract_tmul line 16
3. lemma OAI.SignedSweeps.tensorContract_map line 20
4. def OAI.SignedSweeps.tensorQuotientHom line 26
5. lemma OAI.SignedSweeps.tensorQuotientHom_injective line 53
6. theorem OAI.SignedSweeps.tensor_quotient_multiplicity line 67
7. theorem OAI.SignedSweeps.multiplicity_of_outerTensor_occurrence line 89