Cleanup in ClassifyingSpace.v #2213
+23
−20
Merged
Loading