Untangle subtyping rules explanation in type-lambdas-spec.md#22319

ozenzin wants to merge 2 commits intoscala:mainscala/scala3:mainfrom

ozenzin:patch-1ozenzin/scala3:patch-1Copy head branch name to clipboard