Subformula property holds only when all premises and conclusions appear in derivation steps—non-stan...
This proposition has not been edited since the history system was added.