Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.mem_infi_sets_finset

Modification history

2021-08-13 21:43

src/order/filter/basic.lean

feat(order/filter): change definition of inf (#8657) …

Deleted filter.mem_infi_sets_finset View on Github →

2017-09-28 19:16

order/filter.lean

chore(topology): move general theorems to the corresponding theories

Modified filter.mem_infi_sets_finset View on Github →

2017-09-05 14:15

topology/infinite_sum.lean

feat(topology): introduce infinite sums on topological monoids

Added filter.mem_infi_sets_finset View on Github →