Topology

Statistics

Metric	Count
Definitions	0
Theorems `isClosed_fixedPoints`, `isFixedPt_of_tendsto_iterate`	2
Total	2

Name	Kind	Assumes	Proves	Validates	Depends On
`isClosed_fixedPoints` 📖	mathematical	`Continuous`	`IsClosed` `Function.fixedPoints`	—	`isClosed_eq` `continuous_id`
`isFixedPt_of_tendsto_iterate` 📖	mathematical	`Filter.Tendsto` `Nat.iterate` `Filter.atTop` `Nat.instPreorder` `nhds` `ContinuousAt`	`Function.IsFixedPt`	—	`tendsto_nhds_unique` `Filter.atTop_neBot` `SemilatticeSup.instIsDirectedOrder` `Filter.tendsto_add_atTop_iff_nat` `Function.iterate_succ'` `Filter.Tendsto.comp` `ContinuousAt.tendsto`

---