Theorem Cardinal.mk_equiv_eq_zero_iff_lift_ne

Modification history