Hover info for theorem application