Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-22 08:01 068aaafa

View on Github →

chore(data/finmap): nolint (#3131)

Estimated changes

Modified src/data/finmap.lean

modified def finmap.disjoint

modified theorem finmap.insert_insert

modified theorem finmap.insert_singleton_eq

modified theorem finmap.lookup_list_to_finmap

modified theorem finmap.lookup_union_left_of_not_in

modified theorem finmap.mem_list_to_finmap

modified def finmap.singleton

modified theorem finmap.to_finmap_cons

modified theorem finmap.to_finmap_nil

modified theorem finmap.union_cancel

modified def list.to_finmap