Theorem set.mem_singleton_iff
Modification history
2021-01-27 18:19
src/data/set/basic.lean
refactor(data/set/basic): simpler proofs (#5920) …
Modified set.mem_singleton_iffView on Github →2018-04-07 22:38
data/set/basic.lean
feat(data/erased): VM-erased data type
Modified set.mem_singleton_iffView on Github →