Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-21 17:46 a62ec36d

View on Github →

refactor(order/filter): remove monad instance on filters; add applicative instance inducing the expected products

Estimated changes