theorem weakening
theorem weakening: (∀ x, Q x) → (∀ x, P x → Q x)
Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.