if κ is infinite, then κ^cf(κ) > κ

this is a theorem of ZF

Posted May 8, 2026, 3:53 PM UTC

03
Loading comments…