Theorem List.formPerm_pow_length_eq_one_of_nodup

Modification history