Theorem Cardinal.mk_list_eq_mk

Modification history