OAI/NumberTheory/OrdinaryCorrelations/HighTrace/Fiber.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OrdinaryCorrelations.TypeFibers.fiber line 16
2. def OAI.OrdinaryCorrelations.TypeFibers.multiplicity line 18
3. def OAI.OrdinaryCorrelations.TypeFibers.unordered line 20
4. lemma OAI.OrdinaryCorrelations.TypeFibers.mem_fiber line 24
5. lemma OAI.OrdinaryCorrelations.TypeFibers.fibers_disjoint line 28
6. def OAI.OrdinaryCorrelations.TypeFibers.factor line 34
7. lemma OAI.OrdinaryCorrelations.TypeFibers.fiber_product line 37
8. theorem OAI.OrdinaryCorrelations.TypeFibers.unorderedWeight_eq line 52