Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsTopologicallyNilpotent.exists_pow_mem_of_mem_nhds
Modification history
2025-01-24 14:15
Mathlib/Topology/Algebra/TopologicallyNilpotent.lean
feat(Topology/Algebra/TopologicallyNilpotent): top nilpotent in linear topologies (#20971) …
Added
IsTopologicallyNilpotent.exists_pow_mem_of_mem_nhds
View on Github →