Theorem induced_compose

Modification history

2024-02-08 16:52

Mathlib/Topology/Order.lean

feat(Algebra/UniformConvergence): drop unneeded assumptions (#10321) …

Modified induced_compose View on Github →

2023-01-31 11:16

Mathlib/Topology/Order.lean

feat: port Topology.Order (#1843)

Added induced_compose View on Github →