Theorem Cardinal.mk_quaternion

Modification history