Theorem Cardinal.mk_univ_quaternion_of_infinite

Modification history