Ah, looks like we don't support theorems. You can track it here: https://github.com/arxiv-vanity/engrafo/issues/157 https://github.com/arxiv-vanity/engrafo/issu

Ah, looks like we don't support theorems. You can track it here: https://github.com/arxiv-vanity/engrafo/issues/157 https://github.com/arxiv-vanity/engrafo/issues/157 Thanks!