fix: forgotten lemma about derivability of sqrt (#1909)

Fixes 1931 (#1932)

Merge pull request #1929 from proux01/rocq21851

Adapt to https://github.com/rocq-prover/rocq/pull/21851

Merge pull request #1925 from proux01/silence-rewrite-rw

Silence the new rewrite-rw warning

Merge pull request #1921 from proux01/reworder

Port last files to new rewrite goals order

Port analysis-stdlib to new rewrite goals order

Port reals-stdlib to new rewrite goals order

Port experimental-reals to new rewrite goals order

Port analysis to new rewrite goals order (#1919)

[CI] Update Nix toolbox (#1907)

Rocqnavi: :construction_worker::memo: Resolve The Broken link to mathcomp-order (#1917)

chore: :lipstick::memo::construction_worker: Bump up version of Rocqnavi to (0.3.1 → 0.4.1) (#1916)