Theorem Filter.copy_eq

Modification history

2023-12-15 13:12
Mathlib/Order/Filter/Basic.lean
feat(Filter/Basic): define `Filter.copy` (#9056)
Added Filter.copy_eqView on Github →