P
Initializing...
Finite downward-closed graph properties have maximal extensions · Prove2Me