Commit 2023-08-16 18:29 c978143b

View on Github →

Two missing lemmas about restricting continuous maps

Estimated changes

added theorem Continuous.restrict