Brin's Senior Proofs

June 1st, 2022