Luigi Massacci

icon company Université Paris-Saclay icon location Orsay, France icon location MSc student in Mathematics @ Université Paris-Saclay

Results 1 issues of Luigi Massacci

feat(Topology/MetricSpace): Add new file with type of Katetov maps

add a type of Katetov maps (one point extensions of a metric) and related notation and FunLike coercions. --- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

t-topology
new-contributor