tuned order: pushing INF and SUP to Inf and Sup
tuned order: pushing INF and SUP to Inf and Sup

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle