A refined lower bound theorem for $d$-polytopes with at most $2d$ vertices

Connections are not prepared for this record yet, or its source metadata has changed. The original record remains available while background snapshots are rebuilt.