Theorem List.Nodupkeys.eq_of_fst_eq

Modification history