Theorem IsTopologicallyNilpotent.mul_left_of_commute

Modification history

2025-05-15 03:04
Mathlib/Topology/Algebra/TopologicallyNilpotent.lean
chore: fix more odd indents (#24908) …
Modified IsTopologicallyNilpotent.mul_left_of_commuteView on Github →
2025-01-24 14:15
Mathlib/Topology/Algebra/TopologicallyNilpotent.lean
feat(Topology/Algebra/TopologicallyNilpotent): top nilpotent in linear topologies (#20971) …
Added IsTopologicallyNilpotent.mul_left_of_commuteView on Github →