Mathlib v3 is deprecated. Go to Mathlib v4

Def filter.has_involutive_inv

Modification history

2022-05-27 08:53
src/order/filter/pointwise.lean
chore(filter/pointwise): protect filter.has_involutive_inv (#14398)
Deleted filter.has_involutive_invView on Github →
2022-05-04 22:19
src/order/filter/pointwise.lean
refactor(order/filter/pointwise): Localize instances (#13898) …
Added filter.has_involutive_invView on Github →