Theorem Ctop.Realizer.ext'

Modification history

2023-08-10 19:52
Mathlib/Data/Analysis/Topology.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Ctop.Realizer.ext'View on Github →
2023-02-21 07:40
Mathlib/Data/Analysis/Topology.lean
feat: Port Data.Analysis.Topology (#2399)
Added Ctop.Realizer.ext'View on Github →