Theorem Cardinal.mk_univ_quaternionAlgebra

Modification history