Commit 2025-03-06 22:04 3fcade7c
View on Github →chore(SetTheory/Cardinal/Basic): move IsStrongLimit
(#19723)
This definition doesn't rely on cofinality in any way.
chore(SetTheory/Cardinal/Basic): move IsStrongLimit
(#19723)
This definition doesn't rely on cofinality in any way.