Adapt to https://github.com/math-comp/analysis/pull/1508#106
Merged
proux01 merged 1 commit intorocq-community:masterfrom Feb 28, 2025
Merged
Adapt to https://github.com/math-comp/analysis/pull/1508#106proux01 merged 1 commit intorocq-community:masterfrom
proux01 merged 1 commit intorocq-community:masterfrom
