P
Initializing...
A nonempty predicate on a finite partial order has a maximal member · Prove2Me