Closed jtauber closed 6 years ago
for more consistency with lemma detail page
actually went the opposite direction here
Perhaps Lemma Detail page needs to be updated instead.
for more consistency with lemma detail page