@mika’s recent proofs:

• https://github.com/lognseth, 3 weeks ago

Home