Hyperlinking not working when an up-arrow occurs before the declaration name
BoltonBailey opened this issue · 1 comments
BoltonBailey commented
docs#finSumFinEquiv_symm_last references docs#finSumFinEquiv, but there is no highlighted link.
This seems like a separate issue from #104.
Komyyy commented
lean4#6729 solved this.