Commit 2024-07-15 19:24 6d9a547c
View on Github →feat(Topology/UniformSpace/AbstractCompletion):add comparison lemma (#12979) Add a lemma showing that composing the comparison maps with a continuous function to a T3 space satisfying some conditions yield the same function. Co-authored with : María Inés de Frutos Fernández @mariainesdff