Use INTENT_ATTR and MATHML_NAME_ATTR instead of strings.
#267
| Job | Run time |
|---|---|
| 1m 27s | |
| 1m 27s |
INTENT_ATTR and MATHML_NAME_ATTR instead of strings.
#267
| Job | Run time |
|---|---|
| 1m 27s | |
| 1m 27s |