Nö, gehörte er nicht. Fox hatte noch nie die Rechte an Spider-Man, sondern Sony.
Davon angesehen, weiß man ja auch nicht, wie genau die Details der Deals ausgesehen haben. Ob jeder Deal mit einem anderen Studio exakt der selbe war oder ob es da Unterschiede gab. Marvel durfte ja z.B. auch in Age of Ultron Quicksilver benutzen und Fox verwendete den Charakter auch gleichzeitig in ihren Filmen.
Was Iron Lad betrifft: Dieser Name an sich war sicherlich nicht in den Rechten des Fox Deals mit in Begriffen, sondern nur Kang. Daher denke ich, dass Marvel Iron Lad womöglich auch früher hätte dürfen, als Disney noch nicht Fox eingekauft hatte und womöglich hätte dies auch für Miles Morales gegolten, wenn man ihn nicht Spider-Man genannt hätte.
Keine Ahnung, eventuell hätte es da auch nochmal Nachverhandlungen geben müssen, ob Marvel neue Figuren eines verkauften Helden hätte verwenden dürfen oder ob die Studios die Neuerfundenen Helden nochmal seperat hätten einkaufen müssen oder ob dies schon alles im ersten Deal inbegriffen war.