Theorem Filter.ker_def

Modification history

2024-01-26 13:55

Mathlib/Order/Filter/Basic.lean

chore(Filter/Ker): move from Filter.Basic to a new file (#10023) …

Modified Filter.ker_def View on Github →

2023-09-14 10:14

Mathlib/Order/Filter/Basic.lean

feat: Exterior of a set (#6982) …

Added Filter.ker_def View on Github →