Theorem List.Perm.swap'

Modification history