Theorem Cardinal.nat_add_eq

Modification history

2023-10-15 18:32
Mathlib/SetTheory/Cardinal/Ordinal.lean
feat: some simp lemmas to compute more cardinals (#7660)
Added Cardinal.nat_add_eqView on Github →