Proof syntax is system-relative and can vary; semantic containment is invariant across different for...
This proposition has not been edited since the history system was added.