History

for article: Disjunction introduction