@basic’s recent proofs:

• https://github.com/grigarr, 3 years ago

Home