mathlib3
a19af600 - feat(data/option): add `option.forall` and `option.exists` (#6419)

Commit

4 years ago

feat(data/option): add `option.forall` and `option.exists` (#6419)

Author

urkud

urkud

Parents

Loading