refactor(Mathlib/Data/Seq/Seq): make Sequence.mem_rec_on more useful
#10695
| Job | Run time |
|---|---|
| 5s | |
| 5s |
Sequence.mem_rec_on more useful
#10695
| Job | Run time |
|---|---|
| 5s | |
| 5s |