def
definition
def or abbrev
isThreeAlmostPrime
show as:
view Lean formalization →
formal statement (Lean)
2035def isThreeAlmostPrime (n : ℕ) : Bool := bigOmega n = 3
proof body
Definition body.
2036
2037/-- 8 = 2³ is 3-almost prime. -/
used by (18)
-
three_almost_prime_eight -
three_almost_prime_eighteen -
three_almost_prime_fifty -
three_almost_prime_fiftytwo -
three_almost_prime_fortyfive -
three_almost_prime_fortyfour -
three_almost_prime_fortytwo -
three_almost_prime_seventy -
three_almost_prime_seventyfive -
three_almost_prime_seventysix -
three_almost_prime_sixtyeight -
three_almost_prime_sixtysix -
three_almost_prime_sixtythree -
three_almost_prime_thirty -
three_almost_prime_twelve -
three_almost_prime_twenty -
three_almost_prime_twentyeight -
three_almost_prime_twentyseven