Theorem List.formPerm_apply_mem_eq_self_iff

Modification history