mathlib3

0d16bb4d - refactor(*): migrate from `filter.lift' _ powerset` to `filter.small_sets` (#13673)