Theorem Filter.comap_le_comap

Modification history

2024-06-15 14:58
Mathlib/Order/Filter/Basic.lean
chore(*): more `since :=` in `deprecated` (#13839)
Deleted Filter.comap_le_comapView on Github →
2024-02-06 17:35
Mathlib/Order/Filter/Basic.lean
fix: improvements I noticed when teaching (#8420) …
Added Filter.comap_le_comapView on Github →