Theorem Cardinal.mk_embedding_eq_zero_iff_lift_lt

Modification history