@oct’s recent proofs:

• https://oct.zoy.org/, 5 months ago

Home