Theorem Cardinal.mk_compl_eq_mk_compl_finite_lift

Modification history