Theorem and.swap

Modification history