Skip to content

fix: forgotten lemma about derivability of sqrt

aa7675a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

fix: forgotten lemma about derivability of sqrt #1909

fix: forgotten lemma about derivability of sqrt
aa7675a
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
rocq-core
succeeded Apr 6, 2026 in 54s