Mathlib Changelog
v4
Changelog
About
Github
Def
Sequential.isoOfHomeo
Modification history
2024-07-22 08:59
Mathlib/Topology/Category/Sequential.lean
feat(LightCondensed): the fully faithful embedding of sequential spaces in light condensed sets (#14618)
Added
Sequential.isoOfHomeo
View on Github →