Theorem List.eq_nil_of_map_eq_nil

Modification history