Is it the popular one or something else? What's a difference between `conv` and a fix point? ``` Ind conv X f: X -> Y := .... ```
Is it the popular one or something else?
What's a difference between
convand a fix point?