P
Initializing...
Edge cardinality is invariant under mutual inclusion · Prove2Me