Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-07-16 20:03 57f07e07

View on Github →

refactor(data/set/basic): rename set.set_eq_def -> set.ext_iff

Estimated changes

Modified analysis/metric_space.lean

Modified data/finset.lean

modified theorem finset.coe_image

modified theorem finset.coe_inter

modified theorem finset.coe_union

Modified data/semiquot.lean

Modified data/set/basic.lean

added theorem set.ext_iff

deleted theorem set.set_eq_def

Modified data/set/finite.lean

Modified group_theory/subgroup.lean

Modified linear_algebra/basic.lean

Modified order/filter.lean

Modified ring_theory/ideals.lean

Modified set_theory/zfc.lean