Aaron Ho φ pfp
Aaron Ho φ

@aho

poidh now seems like obsolete with so many AI generated proofs.
0 reply
0 recast
1 reaction