Fixed points of multivalued non-linear F-contractions with application to solution of matrix equations