P
Initializing...
The child-order map has kernel `(f)` and cokernel of length `binom(d, 2)`. · Prove2Me