Theorem Cardinal.power_add
Modification history
2025-03-18 10:57
Mathlib/SetTheory/Cardinal/Basic.lean
chore(SetTheory): split `Cardinal/Basic.lean` (#23014) …
Modified Cardinal.power_addView on Github →2024-09-17 23:02
Mathlib/SetTheory/Cardinal/Basic.lean
chore(SetTheory/Cardinal/Basic): inline `mul_comm` into instance (#16851) …
Modified Cardinal.power_addView on Github →