Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-26 10:30 c51f4f10

View on Github →

feat(set_theory/cardinal_ordinal): κ ^ n = κ for infinite cardinals (#12922)

Estimated changes

added theorem cardinal.pow_eq
added theorem cardinal.power_nat_eq
modified theorem cardinal.power_nat_le