Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.set_of_app_iff

Modification history

2022-06-08 23:44
src/data/set/basic.lean
chore(data/set/basic): minor style fixes (#14628)
Modified set.set_of_app_iffView on Github →
2019-11-12 03:02
src/data/set/basic.lean
chore(*): use `iff.rfl` instead of `iff.refl _` (#1675)
Modified set.set_of_app_iffView on Github →
2019-09-23 22:04
src/data/set/basic.lean
feat(data|set_theory): various new lemmas (#1466) …
Added set.set_of_app_iffView on Github →