APNOutputs/ErdosProblems/
510 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- erdos_12.parts.i.lean 80 declarations
- erdos_12.parts.ii.lean 32 declarations
- erdos_125.variants.positive_lower_density.lean 19 declarations
- erdos_138.variants.difference.lean 29 declarations
- erdos_152.lean 64 declarations
- erdos_26.variants.tenenbaum.lean 72 declarations
- erdos_741.parts.i.lean 121 declarations
- erdos_741.parts.ii.lean 39 declarations
- erdos_846.lean 54 declarations