Text this: Best Proximity Points for Generalized α-ψ-Proximal Contractive Type Mappings