Theorem closure_induced

Modification history

2024-03-24 09:17

Mathlib/Topology/Order.lean

style: remove redundant instance arguments (#11581) …

Modified closure_induced View on Github →

2023-01-31 11:16

Mathlib/Topology/Order.lean

feat: port Topology.Order (#1843)

Added closure_induced View on Github →