Theorem Or.neg_resolve_right

Modification history