Theorem Dense.induction

Modification history

2025-04-08 01:10

Mathlib/Topology/Basic.lean

chore: split `Topology.Basic` (#23717) …

Modified Dense.induction View on Github →

2024-12-31 11:21

Mathlib/Topology/Basic.lean

feat(Topology): add `Dense.induction` (#20342) …

Added Dense.induction View on Github →