Li-Fan Chen says to YSITD
3 = S(S(S(0)))
at Thu, Jan 16, 2020 8:36 PM