Theorem Or.elim3

Modification history