Li-Fan Chen
says to
YSITD
@lambda1 x = y => f(x) = f(y) 這條公理或定理有名字嗎