Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-04 19:00 53952326

View on Github →

remove simp on set_coe_eq_subtype (#682)

Estimated changes

Modified src/data/set/basic.lean

modified theorem set.set_coe_eq_subtype

Modified src/group_theory/sylow.lean

Modified src/tactic/subtype_instance.lean