Theorem Cardinal.mk_pEmpty

Modification history