def
definition
def or abbrev
primeCounting
show as:
view Lean formalization →
formal statement (Lean)
349def primeCounting (n : ℕ) : ℕ := Nat.primeCounting n
proof body
Definition body.
350
used by (32)
-
prime_counting_asymptotic -
prime_counting_asymptotic_pnt -
coprime_prime_pow -
isPerfect_fourhundredninetysix -
primeCounting_def -
primeCounting_eighthundred -
primeCounting_eleven -
primeCounting_fifty -
primeCounting_five -
primeCounting_fivehundred -
primeCounting_fourhundred -
primeCounting_hundred -
primeCounting_mono -
primeCounting_ninehundred -
primeCounting_one -
primeCounting_onehundredfifty -
primeCounting_seven -
primeCounting_sevenhundredfifty -
primeCounting_seventeen -
primeCounting_sixhundred -
primeCounting_ten -
primeCounting_thirteen -
primeCounting_thirty -
primeCounting_thousand -
primeCounting_three -
primeCounting_twenty -
primeCounting_two -
primeCounting_twohundred -
primeCounting_twohundredfifty -
primeCounting_zero