Source: wikibot/heyting-field

= Heyting field
{wiki=Heyting_field}