Theorem Cardinal.mk_compl_eq_mk_compl_finite

Modification history