Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-08 23:44 0c08bd43

View on Github →

chore(data/set/basic): minor style fixes (#14628)

Estimated changes

Modified src/data/set/basic.lean

modified theorem set.set_of_app_iff

modified theorem set_coe_cast