Theorem List.mem_of_formPerm_apply_ne

Modification history