Theorem Cardinal.mk_embedding_eq_zero_iff_lt

Modification history