Commit 2023-08-19 13:44 a0d8b867

View on Github →

feat: two missing lemmas about restricting continuous maps (#6616)

Estimated changes

added theorem Continuous.restrict