Mathlib Changelog
v4
Changelog
About
Github
Def
Sequential.fullyFaithfulSequentialToTop
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.fullyFaithfulSequentialToTop
View on Github →