arXiv++ Combinatorics

We give an exposition of the proof of the lower bound part of the $g$-theorem for simplicial spheres by Adiprasito, Papadakis, and Petrotou.