No matches were found for subject:"Bug#1014583\: ITP\: coq\-equations \-\- Coq library to work with functions defined by equations"