mathlib3
eb852609 - feat(topology/compact_open): continuous_comp left functor C(-, γ) (#15068)

Commit

3 years ago

feat(topology/compact_open): continuous_comp left functor C(-, γ) (#15068) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

ralvrz

Parents