Proving eigenvalue_ekew in rot.v - Githubissues

affeldt-aist / coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp

26 stars 2 forks source link

Proving eigenvalue_ekew in rot.v #11

Closed thery closed 3 years ago