ultrafilter): `pure`, `map`, and `comap` lemmas (#15187)

Commit

3 years ago

feat(order/filter/ultrafilter): `pure`, `map`, and `comap` lemmas (#15187) A handful of simple lemmas.

Author

YaelDillies

Parents