Prefer a chat interface with context about you and your work?
Kantorovich-Rubinstein quasi-metrics IV: Lenses, quasi-lenses and forks