Skip to content
Back to pull request #487

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #480

Sign in to view logs

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #480

mathcomp-analysis

mathcomp-analysis
succeeded Oct 24, 2024 in 13m 57s