Theorem Cardinal.mk_emptyCollection_iff

Modification history