Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_infi_iff

Modification history

2022-07-01 14:39
src/topology/order.lean
chore(data/set,topology): fix 2 lemma names (#15079) …
Deleted is_closed_infi_iffView on Github →
2019-06-19 21:00
src/topology/order.lean
chore(topology/*): reverse order on topological and uniform spaces (#1138) …
Modified is_closed_infi_iffView on Github →
2019-05-13 23:54
src/topology/order.lean
feat(topology/constructions): topology of sum types (#1016)
Added is_closed_infi_iffView on Github →