证明(\x.x x)(\x.x x)没有NF
Shanghai, Shanghai, China
Currently Offline