Li-Fan Chen => YSITD: forall x. forall y. forall z. (x=y) and (y=z) -> x=z #5b9d012e1e535c6e0366d850

Li-Fan Chen says to YSITD

forall x. forall y. forall z. (x=y) and (y=z) -> x=z

at Fri, Sep 14, 2018 9:34 PM