Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions.
#37
| Job | Run time |
|---|---|
| 11s | |
| 5s | |
| 11s | |
| 27s |