Deletion of Ehrhart

Comment: Ehrhart (surname) over the disambiguation and widen the scope to be about the name in both senses, that way Ehrhart Neubert can be listed along with those with the surname. That leaves Ehrhart polynomial, which can be mentioned in either the see also or a hatnote. Technically speaking, it looks to be a  to me
Stance: merge
Cited policy: Wikipedia:Disambiguation (WP:PTM)