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