Theorem Cardinal.mk_denumerable

Modification history