Jump to the definition of type class instance.

Stream: general

[Kevin Buzzard]

I don't quite understand the question but here are some comments. If you set_option pp.all true and then #print x then you can see that has_lt.lt is using nat.has_lt and if you #print nat.has_lt you can see it uses nat.lt. If you're asking about the definition of nat.lt you can #print nat.lt and then right click on it. If you want to see what type class resolution will use then you can write...the question just disappeared.