[isabelle] Comparing pairs



Hi,

With Multivariate_Analysis, does anyone know how I can prove

lemma "((1::real),(2::real)) < (2,4)"

?

Thanks a lot in advance.

John





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.