PR !4#19693: feat(SetTheory/Cardinal/Cofinality): define ...

Stream: triage

[Random Issue Bot]

Today I chose PR 19693 for discussion!

feat(SetTheory/Cardinal/Cofinality): define Cardinal.cof
Created by @Violeta Hernández (@vihdzp) on 2024-12-02
Labels: WIP, merge-conflict, awaiting-CI, t-set-theory

Is this PR still relevant? Any recent updates? Anyone making progress?

[Violeta Hernández]

Closing, this conflicts with another planned refactor.