P
Initializing...
A finite nonempty set of finite graphs has an inclusion-maximal member · Prove2Me