uniform_embedding): a sum of two complete spaces is complete (#11971)

Commit

3 years ago

feat(topology/uniform/uniform_embedding): a sum of two complete spaces is complete (#11971) Co-authored-by: Markus Himmel <markus@himmel-villmar.de>

Author

sgouezel

Parents