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