Theorem isClosed_coinduced

Modification history

2024-06-25 14:51
Mathlib/Topology/Order.lean
feat(Topology/Sequences): add missing instances (#13460) …
Added isClosed_coinducedView on Github →