@copious’s recent proofs:

• https://github.com/copiousfreetime, 1 year ago

Home