Theorem Quaternion.re_coeComplex

Modification history