Term::is_isomorphic_to: A function to determine if two term objects describe identical expressions.
#33
| Job | Run time |
|---|---|
| 14s | |
| 14s |