Theorem ContinuousMap.injective_restrict

Modification history

2023-07-19 07:03
Mathlib/Topology/ContinuousFunction/Basic.lean
feat: +1 proof that Sorgenfrey plane is not normal (#5775)
Added ContinuousMap.injective_restrictView on Github →