Did you mean (for hets): inverse   isInverse   missingTerms   putInverse   reverse  

Your search defs:passingReverse did not match any files.
Suggestions: