theorem
proved
prime_threehundredfortyseven
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.NumberTheory.Primes.ArithmeticFunctions on GitHub at line 2003.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
2000theorem prime_threehundredthirtyseven : Prime 337 := by native_decide
2001
2002/-- 347 is prime. -/
2003theorem prime_threehundredfortyseven : Prime 347 := by native_decide
2004
2005/-- 349 is prime. -/
2006theorem prime_threehundredfortynine : Prime 349 := by native_decide
2007
2008/-- 353 is prime. -/
2009theorem prime_threehundredfiftythree : Prime 353 := by native_decide
2010
2011/-- 359 is prime. -/
2012theorem prime_threehundredfiftynine : Prime 359 := by native_decide
2013
2014/-- 367 is prime. -/
2015theorem prime_threehundredsixtyseven : Prime 367 := by native_decide
2016
2017/-- 373 is prime. -/
2018theorem prime_threehundredseventythree : Prime 373 := by native_decide
2019
2020/-- 379 is prime. -/
2021theorem prime_threehundredseventynine : Prime 379 := by native_decide
2022
2023/-- 383 is prime. -/
2024theorem prime_threehundredeightythree : Prime 383 := by native_decide
2025
2026/-- 389 is prime. -/
2027theorem prime_threehundredeightynine : Prime 389 := by native_decide
2028
2029/-- 397 is prime. -/
2030theorem prime_threehundredninetyseven : Prime 397 := by native_decide
2031
2032/-! ### 3-almost primes (Ω(n) = 3) -/
2033