Theorem Chebyshev.psi_eq_psi_coe_floor

Modification history

2025-12-04 09:22
Mathlib/NumberTheory/Chebyshev.lean
feat(NumberTheory): define Chebyshev functions (#32247) …
Added Chebyshev.psi_eq_psi_coe_floorView on Github →