Theorem Cardinal.mk_equiv_eq_zero_iff_ne

Modification history