changed clause annotation for inverse function introduction
changed clause annotation for inverse function introduction

leoprover/Leo-III,lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III