mathlib

a056ccbb - feat(slim_check): subtype instances for `le` `lt` and `list.perm` (#4027)