Theorem Cardinal.mk_quaternion_of_infinite

Modification history