Firm Nonexpansive

Firm non-expansive mappings in weak metric spaces