Without genuine isolation preserving relational character, Paull-Sider cannot construct truly diverg...
This proposition has not been edited since the history system was added.