"Should not we state these properties in terms of (f `|` g)%O instead of f \max g (similarly (f`&`g)%O instead of f \min g)?" @t6s (copy from a PR conversation https://github.com/math-comp/analysis/pull/1819#issuecomment-3980572690)
"Should not we state these properties in terms of (f
|g)%O instead of f \max g (similarly (f&g)%O instead of f \min g)?" @t6s(copy from a PR conversation #1819 (comment))