Commit 2021-04-01 01:24 64abe48e
View on Github →refactor(topology/metric_space/pi_Lp): generalize to pseudo_metric (#6978)
We generalize here the Lp distance to pseudo_emetric
and similar concepts.
refactor(topology/metric_space/pi_Lp): generalize to pseudo_metric (#6978)
We generalize here the Lp distance to pseudo_emetric
and similar concepts.