Commit 2022-05-04 22:19 f8c303ea
View on Github →refactor(order/filter/pointwise): Localize instances (#13898)
Localize pointwise filter instances into the pointwise locale, as is done for set and finset.
refactor(order/filter/pointwise): Localize instances (#13898)
Localize pointwise filter instances into the pointwise locale, as is done for set and finset.