[Merged by Bors] - refactor: allow deriv to be used on topological vector spaces
#72792
| Job | Run time |
|---|---|
| 30s | |
| 1m 22s | |
| 1m 52s |
deriv to be used on topological vector spaces
#72792
| Job | Run time |
|---|---|
| 30s | |
| 1m 22s | |
| 1m 52s |