@l’s recent proofs:

• https://karsten.ws, 9 months ago

Home