feat(Data/Fin/Tuple): Define Fin.take
and initial theorems (#17196)
#11517
Job | Run time |
---|---|
5s | |
6m 46s | |
30s | |
14s | |
7m 35s |
Fin.take
and initial theorems (#17196)
#11517
Job | Run time |
---|---|
5s | |
6m 46s | |
30s | |
14s | |
7m 35s |