https://github.com/math-comp/analysis/blob/72c8678f8def77da4c1c2682f857cfb8cf770352/coq-mathcomp-analysis-stdlib.opam#L23 `Mathematics/Real Calculus and Topology` is maybe more appropriate see https://github.com/rocq-prover/opam/pull/3571#discussion_r2517233073
