Theorem forall_or_right

Modification history