Commit 2024-02-16 14:44 a2f48837
View on Github →fix(TopologicalSpace/Basic): restore curly braces in continuous_def
(#10110)
These were placed on purpose; reverting them caused breakage downstream.
fix(TopologicalSpace/Basic): restore curly braces in continuous_def
(#10110)
These were placed on purpose; reverting them caused breakage downstream.