Lack of canonical intuitionistic proof doesn't undermine classical validity—classical and intuitioni...
This proposition has not been edited since the history system was added.