Source: wikibot/bar-induction

= Bar induction
{wiki=Bar_induction}