Librarium
Settings

Showing that the Infimum of {X,Y} Exists in the Partial Order [ Ƥ(M), ⊆ ]