en herbrand functions (n)
― FormOf ⟶
Weight: 1.0
en herbrand function Source: English Wiktionary