Theorem Cardinal.mk_empty

Modification history