Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_open_infi_iff

Modification history

2019-06-19 21:00
src/topology/order.lean
chore(topology/*): reverse order on topological and uniform spaces (#1138) …
Deleted is_open_infi_iffView on Github →
2019-05-13 23:54
src/topology/order.lean
feat(topology/constructions): topology of sum types (#1016)
Added is_open_infi_iffView on Github →