Theorem ContinuousMap.embedding_sigmaMk_comp

Modification history

2024-10-28 08:46
Mathlib/Topology/ContinuousMap/Sigma.lean
chore: Rename `Embedding` to `IsEmbedding` (#18133) …
Deleted ContinuousMap.embedding_sigmaMk_compView on Github →
2023-07-11 08:59
Mathlib/Topology/ContinuousFunction/Sigma.lean
feat: homeomorphism between `C(X, Σ i, Y i)` and `Σ i, C(X, Y i)` (#5673) …
Added ContinuousMap.embedding_sigmaMk_compView on Github →