Theorem Cardinal.mk_emptyCollection

Modification history