Librarium
Settings

Proof of the Associativity of the Supremum (Sup{ Sup{ a, b }, c } = Sup{ a, Sup{ b, c } })