Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-05-27 08:53
25f75c4e
View on Github →
chore(filter/pointwise): protect filter.has_involutive_inv (
#14398
)
Estimated changes
Modified
src/order/filter/pointwise.lean
deleted
def
filter.has_involutive_inv