Theorem List.rel_perm

Modification history