Theorem Cardinal.mk_image_embedding_lift

Modification history

2025-01-05 04:19

Mathlib/SetTheory/Cardinal/Basic.lean

feat(SetTheory/Cardinal/Arithmetic): miscellaneous cardinality lemmas (#18933)

Added Cardinal.mk_image_embedding_lift View on Github →