disjunction-elimination.png - lectures.alex.balgavy.eu

	lectures.alex.balgavy.eu Lecture notes from university.
	git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
	Log \| Files \| Refs \| Submodules

disjunction-elimination.png (11867B)

Binary file.