OAI/Combinatorics/SharpRamsey/Reciprocal/
191 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- AuxiliaryCharges.lean 4 declarations
- AuxiliaryFamilies.lean 7 declarations
- AuxiliaryLevels.lean 30 declarations
- CanonicalAuxiliaryLaw.lean 11 declarations
- CoreDimensions.lean 6 declarations
- ExposureReciprocal.lean 6 declarations
- LevelLosses.lean 24 declarations
- PreparedReciprocal.lean 3 declarations
- ProdRectangleEvent.lean 19 declarations
- Reciprocal.lean 8 declarations
- ReciprocalActualCharges.lean 9 declarations
- ReciprocalBands.lean 6 declarations
- ReciprocalChargeHistories.lean 4 declarations
- ReciprocalCharges.lean 1 declarations
- ReciprocalCurrent.lean 28 declarations
- ReciprocalDomains.lean 3 declarations
- ReciprocalMarginals.lean 3 declarations
- ReciprocalOrdered.lean 1 declarations
- ReciprocalOutput.lean 2 declarations
- ReciprocalPopulation.lean 1 declarations
- ReciprocalPotential.lean 5 declarations
- ReciprocalProduct.lean 3 declarations
- ReciprocalStep.lean 1 declarations
- ReciprocalTree.lean 2 declarations
- SourceReciprocalExposure.lean 4 declarations