Commit 2023-07-17 10:33 a9728c0d
View on Github →feat: a type is denumerable iff it is countable and infinite (#5951) From the sphere eversion project
feat: a type is denumerable iff it is countable and infinite (#5951) From the sphere eversion project