Theorem schnirelmannDensity_setOf_Odd

Modification history

2026-07-17 09:57

Mathlib/Combinatorics/Schnirelmann.lean

chore(Data): rename `setOf` to `Set.ofPred` (#41507) …

Deleted schnirelmannDensity_setOf_Odd View on Github →

2023-12-13 08:05

Mathlib/Combinatorics/Schnirelmann.lean

feat(Combinatorics): definition and basic properties of Schnirelmann density (#7342) …

Added schnirelmannDensity_setOf_Odd View on Github →