P
Initializing...
D4.4d: q-square strict-growth cardinality · Prove2Me