Theorem Nat.primeCounting'_nth_eq

Modification history

2023-06-21 11:07
Mathlib/NumberTheory/PrimeCounting.lean
feat: port NumberTheory.PrimeCounting (#5342)
Added Nat.primeCounting'_nth_eqView on Github →