{basic, compact}): add a few missing lemmas (#16714)

Commit

3 years ago

feat(topology/continuous_function/{basic, compact}): add a few missing lemmas (#16714)

Author

j-loreaux

Parents