Theorem Cardinal.mk_set_le

Modification history