Theorem Cardinal.mk_pempty

Modification history