Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.has_basis_pi

Modification history

2022-02-14 06:18
src/order/filter/pi.lean
feat(order/filter/bases): basis of infimum of filters (#11855)
Added filter.has_basis_piView on Github →