Skip to content

feat: root identity, the deferred two-circle statement, and companion conformance#8753

Merged
kim-em merged 2 commits into
mainfrom
real-roots-s8-wrapup
Jul 11, 2026
Merged

feat: root identity, the deferred two-circle statement, and companion conformance#8753
kim-em merged 2 commits into
mainfrom
real-roots-s8-wrapup

doc(real-roots-mathlib): p != 0 in the deferred theorem's SPEC signature

a056402
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar