If the result merely restates known equivalences in a different formal framework, the proof method's...
This proposition has not been edited since the history system was added.