Theorem List.rel_perm_imp

Modification history