Le fue dado este nombre en honor al general Jerónimo Treviño.