Theorem List.formPerm_apply_mem_eq_next

Modification history