[isabelle] Defining a set of vectors


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.



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.