Order-invariant definability requires properties invariant across all orderings, a strictly stronger...
This proposition has not been edited since the history system was added.