PFR/
1067 declarations, 0 contain sorry, 0 declared as axioms; 73 files
Folders
- ForMathlib/ 18 files, 457 declarations
- Mathlib/ 35 files, 209 declarations
- Tactic/ 1 files, 40 declarations
Files
- ApproxHomPFR.lean 6 declarations
- BoundingMutual.lean 4 declarations
- Endgame.lean 20 declarations
- EntropyPFR.lean 2 declarations
- Examples.lean 34 declarations
- Fibring.lean 8 declarations
- FirstEstimate.lean 9 declarations
- HomPFR.lean 3 declarations
- HundredPercent.lean 7 declarations
- ImprovedPFR.lean 18 declarations
- Kullback.lean 21 declarations
- Main.lean 8 declarations
- MoreRuzsaDist.lean 60 declarations
- MultiTauFunctional.lean 14 declarations
- RhoFunctional.lean 82 declarations
- SecondEstimate.lean 3 declarations
- TauFunctional.lean 12 declarations
- TorsionEndgame.lean 25 declarations
- WeakPFR.lean 25 declarations