{"problem_id":"problem-prime-infinitude","version":7,"sha256":"2a54870eae9c7203c97a8820c16e69f0a2b4b31d9c281ba45a84e863207b1106","claims":[{"id":"claim-prime-strictly-above","version":3},{"id":"claim-prime-above-bound","version":3},{"id":"claim-primes-unbounded","version":3},{"id":"claim-primes-infinite","version":3},{"id":"claim-prime-divisor-characterization","version":2}],"source_version_ids":["openmath-prime-note@a640f3adfa536da0","mathlib-prime-infinite@32d24245c7a12ded17325299fd41d412022cd3fe","mathlib-prime-defs@32d24245c7a12ded17325299fd41d412022cd3fe"],"entry_ids":["prime-infinitude:entry:0:v1","prime-infinitude:entry:1:v1","prime-at-or-above-bound:entry:0:v1","prime-divisor-characterization:entry:v1"],"report_ids":["prime-infinitude:report:0:v1","prime-infinitude:report:1:v1","prime-at-or-above-bound:report:0:v1","prime-divisor-characterization:report:v1"]}