Source: wikibot/disjunction-introduction

= Disjunction introduction
{wiki=Disjunction_introduction}