Theorem Topology.IsInducing.restrict

Modification history

2026-08-25 15:52
Mathlib/Topology/Constructions.lean
feat(Topology): small inductive dimension does not increase under inducing maps (#42167) …
Added Topology.IsInducing.restrictView on Github →