P
Initializing...
Count-gap lemma (phi-side): census injection with an outliver gives a strict rank gap · Prove2Me