dropped lemmas (Inf|Sup)_(singleton|binary)
dropped lemmas (Inf|Sup)_(singleton|binary)

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