A witnessed minimal-non-face count bounds the vertex count of any flag stellar refinement

Initializing...

A witnessed minimal-non-face count bounds the vertex count of any flag stellar refinement · Prove2Me