Theorem ContinuousMapZero.toContinuousMap_injective

Modification history

2024-08-07 07:08
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
chore: backports for leanprover/lean4#4814 (part 21) (#15510)
Modified ContinuousMapZero.toContinuousMap_injectiveView on Github →
2024-05-29 14:23
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
feat: add more features to `ContinuousMapZero` (#13323) …
Modified ContinuousMapZero.toContinuousMap_injectiveView on Github →
2024-05-27 07:04
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
feat: uniform structure on ContinuousMapZero (#12992) …
Modified ContinuousMapZero.toContinuousMap_injectiveView on Github →
2024-03-07 21:32
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
feat: define `ContinuousMapZero` (#11220) …
Added ContinuousMapZero.toContinuousMap_injectiveView on Github →