Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-07-23 18:13 b9f1d641

View on Github →

refactor(*): use . instead of ^.

Estimated changes

modified theorem filter.bind_mono
modified theorem filter.empty_in_sets_eq_bot
modified theorem filter.filter_eq
modified theorem filter.inter_mem_sets
modified theorem filter.le_principal_iff
modified theorem filter.lift'_cong
modified theorem filter.lift'_mono'
modified theorem filter.lift'_mono
modified theorem filter.lift'_neq_bot_iff
modified theorem filter.lift_mono'
modified theorem filter.lift_mono
modified theorem filter.lift_neq_bot_iff
modified theorem filter.lift_sets_eq
modified theorem filter.map_lift'_eq
modified theorem filter.mem_bot_sets
modified theorem filter.mem_join_sets
modified theorem filter.mem_lift'
modified theorem filter.mem_lift'_iff
modified theorem filter.mem_lift
modified theorem filter.mem_principal_sets
modified theorem filter.mem_return_sets
modified theorem filter.monotone_mem_sets
modified theorem filter.principal_le_lift'
modified theorem filter.prod_same_eq
modified theorem filter.supr_sets_eq
modified theorem filter.univ_mem_sets'
modified theorem filter.univ_mem_sets
modified theorem map_nhds_induced_eq
modified theorem map_nhds_subtype_val_eq
modified theorem nhds_sets
modified theorem topological_space_eq