Theorem Cardinal.mk_Ioc_real

Modification history