Theorem Cardinal.mk_list_le_max

Modification history