Is `ConstrainedClassMethods` implied by `MultiParamTypeClasses` or not?

Summary

The GHC user's guide section on the extension states:

GHC lifts this restriction with language extension ConstrainedClassMethods. The restriction is a pretty stupid one in the first place, so ConstrainedClassMethods is implied by MultiParamTypeClasses.

However this implied by is only mentioned in passing here. All other implications, as far as I'm aware, are listed at the top of the dedicated section and also in the extension overview section.

Proposed improvements or changes

If ConstrainedClassMethods is in fact implied by MultiParamTypeClasses, make that relationship formal and list it like all the other implications. If there's some subtlety that would mean it's not, clarify it in the extension's section.

Environment

• GHC version used (if appropriate): 9.6.2