Source: wikibot/herbrand-quotient

= Herbrand quotient
{wiki=Herbrand_quotient}