Theorem List.set_perm_cons_eraseIdx

Modification history