Commit 2023-08-16 18:42 d70c3ce4

View on Github →

Revert "Two missing lemmas about restricting continuous maps" This reverts commit c978143be562c8f4e2460e805d8d789a654295b1.

Estimated changes

deleted theorem Continuous.restrict