Theorem Cardinal.mk_image_embedding

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 View on Github →