P
Initializing...
A ridge-closed connected layer family has length at most $\binom{n}{d-1}-d$ · Prove2Me