Theorem Filter.mem_cardinalGenerate_iff

Modification history

2025-11-20 18:25

Mathlib/Order/Filter/CardinalInter.lean

chore(Order/Filter/CardinalInter): fix typos and polish docs (#31624) …

Added Filter.mem_cardinalGenerate_iff View on Github →