Commit 2026-10-20 17:59 98a293fa
View on Github →doc(Topology/Algebra/Monoid/Defs): fix docstring typo (#45092)
Probably a copy-paste error from SeparatelyContinuousAdd defined just above.
doc(Topology/Algebra/Monoid/Defs): fix docstring typo (#45092)
Probably a copy-paste error from SeparatelyContinuousAdd defined just above.