mathlib
eb2780b6 - feat(topology/unit_interval): add lemmas (#13344)

Commit

3 years ago

feat(topology/unit_interval): add lemmas (#13344) * also change the statement of `unit_interval.mul_mem` * from the sphere eversion project

Author

fpvandoorn

Parents