P
Initializing...
Finite hereditary properties have maximal extensions · Prove2Me