Theorem continuous_at_iff_ultrafilter
Modification history
2020-12-10 13:58
src/topology/basic.lean
refactor(order/filter/ultrafilter): drop `filter.is_ultrafilter` (#5264) …
Modified continuous_at_iff_ultrafilterView on Github →2019-03-03 19:05
src/topology/basic.lean
chore(topology): Splits topology.basic and topology.continuity (#785) …
Modified continuous_at_iff_ultrafilterView on Github →