Theorem Cardinal.mk_univ_quaternion

Modification history