lambda1@tg says to YSITD
is it saying f is an identity map from A to B?
at Thu, May 14, 2020 12:12 AM