Theorem Or.elim_on

Modification history