@rva’s recent proofs:

• https://codeberg.org/rv, 4 months ago

Home