Theorem List.mem_of_formPerm_apply_mem

Modification history