Naming: `Typeclass (ULift α) ↔ Typeclass α`

Stream: maths

[Yury G. Kudryashov]

/poll How should we call these lemmas?
typeclass_ulift_iff
ULift.typeclass_iff
Typeclass.ulift_iff

[Yury G. Kudryashov]

I'm happy with any of these naming schemes, but I think that we should have a naming convention here.