Theorem List.cons_perm_iff_perm_erase

Modification history