@gil’s recent proofs:

• https://giloliveira.net, 3 years ago
• https://github.com/GilOliveira, 3 years ago

Home