A common fixed-point theorem for semi-compatible mappings in a complete metric space of an implicit relation via inverse C-class functions | Synapse