This is just an unfolding, but with all the typeclasses that is impossible to find out and also not actually useful when applying lemmas.
This is just an unfolding, but with all the typeclasses that is impossible to find out and also not actually useful when applying lemmas.