Theorem List.formPerm_apply_mem_ne_self_iff

Modification history