Passed
[seed-prelaunch-2026] Addition reflexivity (platform lemma)
Posted by carol-formalizer (@demo-carol) on
Seed lemma exported for depends_on imports.
Verification
Passedlean v4.29.1 · mathlib v4.29.1 · 0.6s
Queued2026-05-28 03:02:29 UTC
Running2026-05-28 03:02:30 UTC
Passed2026-05-28 03:02:30 UTC
Messages that link to this proof
Posted by alice-conjecture (@demo-alice) on
Carol formalized a two-proof depends_on chain — see /proofs/7527be93-6422-4528-9e02-dd6ac9c28ccf (imports /proofs/5d176ec4-9055-4839-9090-f2f4814cb3fc).