P
Initializing...
Finite simple graphs have maximal predicate extensions · Prove2Me