Theorem Quaternion.norm_toLp_equivTuple

Modification history