[isabelle] cross product in Isabelle



Dear experts:
   The cross product in Euclide-space is directly defined in the multivariate lib in Isabelle?


regards!

2014-06-12 



lyj238 



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