Theorem List.toFinset_eq_of_perm

Modification history