Theorem set.singleton_def
Modification history
2021-01-27 18:19
src/data/set/basic.lean
refactor(data/set/basic): simpler proofs (#5920) …
Modified set.singleton_defView on Github →2020-05-15 21:05
src/data/set/basic.lean
chore(*): bump to lean-3.12.0 (#2681) …
Modified set.singleton_defView on Github →