[isabelle] Defining a set of vectors



Hi,

I am wondering how to define a set of vectors in Isabelle, in order to allow me to check for linear independence between a set of vectors.

Regards,

Rachel

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.








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