basic): eq_some_iff_get_eq (#1370)

Commit

6 years ago

feat(data/option/basic): eq_some_iff_get_eq (#1370) * feat(data/option/basic): eq_some_iff_get_eq * Update basic.lean

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents