Commit 2024-06-28 14:12 c797e3d9
View on Github →refactor: redefine Stone-Čech compactification (#14108) The goal is to get a universe polymorphic universal property.
refactor: redefine Stone-Čech compactification (#14108) The goal is to get a universe polymorphic universal property.