How can I detect using @bot.commands if another different user (other than the bot) is mentioned in a Discord guild with the discord.py API?

Question

A friend and I have been designing a simple Discord bot to use in a guild (server) with the official Python API. The following is the code we are using (with repl.it, the browse