FormalConjecturesForMathlib/Combinatorics/LimitObjects/
15 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Graphon.lean 9 declarations
- Tournamenton.lean 6 declarations
FormalConjecturesForMathlib/Combinatorics/LimitObjects/15 declarations, 0 contain sorry, 0 declared as axioms; 2 files