Commit 2024-11-04 13:07 500668ec
View on Github →feat(Data/Real/Cardinality): Uncountable ℝ
(#18546)
We were somehow missing this spelling of that theorem.
feat(Data/Real/Cardinality): Uncountable ℝ
(#18546)
We were somehow missing this spelling of that theorem.