Theorem Cardinal.mk_real

Modification history