P
Initializing...
Maximal element of a nonempty finite subset of a partial order · Prove2Me