Aaron Ho φ
@aho
poidh now seems like obsolete with so many AI generated proofs.
0 reply
0 recast
1 reaction