Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.maps_to.iterate

Modification history

2020-03-23 14:57

src/data/set/function.lean

refactor(topology/metric_space/contracting): redefine using emetric (#2070) …

Added set.maps_to.iterate View on Github →