mathlib3
ffa6d699 - feat(*): has_mem (set α) (filter α) (#799)

Commit

6 years ago

feat(*): has_mem (set α) (filter α) (#799)

References

#799 - feat(*): has_mem (set α) (filter α)

Author

Patrick Massot

Committer

johoelzl

johoelzl

Parents

Loading