Ehrharts (English, name)
expansion: Ehrharts
Senses:
glosses: plural of Ehrhart
tags: form-of
plural
Forms: