Structure RestrictGenTopology

Modification history

2024-11-11 19:06

Mathlib/Topology/Defs/Induced.lean

chore(Topology): Namespace `Inducing`, `Embedding`... (#15993) …

Deleted RestrictGenTopology View on Github →

2024-06-29 22:58

Mathlib/Topology/Defs/Induced.lean

feat: define `RestrictGenTopology` (#13452)

Added RestrictGenTopology View on Github →