Mathlib v3 is deprecated. Go to Mathlib v4

Def filter.product_setoid

Modification history

2022-03-21 09:13
src/order/filter/germ.lean
feat(model_theory/ultraproducts): Ultraproducts and the Compactness Theorem (#12531) …
Added filter.product_setoidView on Github →