mathlib3
f5d63f9f - feat(topology/category/Compactum): forget creates limits (#11690)

Commit
4 years ago
feat(topology/category/Compactum): forget creates limits (#11690) Will likely be used in LTE.
Author
Parents
Loading