Lieb-Schultz-Mattis, Luttinger, and 't Hooft - anomaly matching in lattice systems | Synapse