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.

Estimated changes

modified theorem continuous_def