Skip to content

Update Mathlib/SetTheory/Cardinal/Finite.lean #37148

Update Mathlib/SetTheory/Cardinal/Finite.lean

Update Mathlib/SetTheory/Cardinal/Finite.lean #37148