doc.proven.lol

@doc’s recent proofs:

Home