Theorem imp.swap

Modification history