issues
search
affeldt-aist
/
coq-robot
Mathematics of Rigid Body Transformationss using Coq and MathComp
26
stars
2
forks
source link
inverse for unit dual quat is conjugate
#17
Closed
thery
closed
3 years ago
thery
commented
3 years ago
lemma invdq_udquat
lemma invdq_udquat