Theorem or.elim3

Modification history