Theorem Nat.primeCounting'_add_le

Modification history

2025-09-02 04:47
Mathlib/NumberTheory/PrimeCounting.lean
chore(Nat/Prime/Basic): ne_zero instead of pos hypothesis (#28921) …
Modified Nat.primeCounting'_add_leView on Github →
2023-06-21 11:07
Mathlib/NumberTheory/PrimeCounting.lean
feat: port NumberTheory.PrimeCounting (#5342)
Added Nat.primeCounting'_add_leView on Github →