lambda1@tg says to YSITD
I just did a formal proof
at Mon, Mar 9, 2020 5:22 PM