P
Initializing...
Maximal element of a finite predicate above a witness · Prove2Me