stanush - proofs

November 1st, 2022