Prove Qvec_Eq is reflexive, transitive, and symmetric. Prove Qvec_eq an equivalence relation
Prove Qvec_Eq is reflexive, transitive, and symmetric. Prove Qvec_eq an equivalence relation

tm507211/CoqPerceptron,tm507211/CoqPerceptron,tm507211/CoqPerceptron