t. glaser - mini proofs

November 22nd, 2025