P
Initializing...
Maximal element in a finite predicate · Prove2Me