A subcomplex of a simplicial $4$-sphere becomes full after subdividing the ambient sphere

Initializing...

A subcomplex of a simplicial $4$-sphere becomes full after subdividing the ambient sphere · Prove2Me