Resolving on behalf of the market creator, who can no longer access his account as it's tied to a school email; he told me to resolve NO. sus but it's his market
Can yuou clarify what a lachlan number is please?
@NicoAlberti its like an erdos number
@astyerche But worse