Theorem Filter.sets_subset_sets

Modification history

2024-10-19 06:27

Mathlib/Order/Filter/Basic.lean

refactor(Order/Filter): don't use `generate` for `CompleteLattice` (#17799)

Added Filter.sets_subset_sets View on Github →