Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions.
#36
| Job | Run time |
|---|---|
| 9s | |
| 6s | |
| 7s | |
| 22s |