Theorem Cardinal.mk_Ici_real

Modification history