`PFR/ForMathlib/`

457 declarations, 0 contain sorry, 0 declared as axioms; 18 files

Folders

Entropy/ 9 files, 352 declarations
FiniteRange/ 3 files, 32 declarations

Files

AffineSpaceDim.lean 5 declarations
ConditionalIndependence.lean 9 declarations
FourVariables.lean 23 declarations
Pair.lean 2 declarations
ThreeVariables.lean 11 declarations
Uniform.lean 23 declarations