`variation_cat`

[affeldt-aist]

analysis/theories/realfun.v

Line 2172 in 0e4fbab

Lemma variation_cat a b c f s t : a <= c -> c <= b ->

might be better to have c as a non-implict argument put first