Theorem Cardinal.mk_Ioi_real

Modification history