Rocqnavi: 👷📝 Resolve The Broken link to mathcomp-order #1917

Merged

affeldt-aist merged 2 commits intomath-comp:masterfrom

proof-ninja:yoshihiro503@link-to-mathcomp-order

Mar 25, 2026

Commits on Mar 25, 2026

chore: :lipstick::memo::construction_worker: Bump up version of Rocqnavi to (0.3.1 → 0.4.1)
yoshihiro503
committed
chore: :construction_worker::memo: Resolve The Broken link to mathcomp-order in Rocqnavi documents
yoshihiro503
committed