mathlib
c5549d56 - feat(data/option/basic): add `option.{forall,exists}_mem_map` (#16897)

Commit

3 years ago

feat(data/option/basic): add `option.{forall,exists}_mem_map` (#16897)

Author

urkud

urkud

Parents

Loading