Theorem Filter.mem_prod_iff_right

Modification history

2023-10-25 20:48

Mathlib/Order/Filter/Prod.lean

feat(Filter): lemmas from Mandelbrot connectedness project (#7913) …

Modified Filter.mem_prod_iff_right View on Github →

2023-02-04 18:05

Mathlib/Order/Filter/Prod.lean

feat: port Topology.UniformSpace.UniformConvergence (#2051)

Added Filter.mem_prod_iff_right View on Github →