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.

Estimated changes