The notion of isomorphisms of types has many theoretical as well as practical consequences, and isomorphisms of types have
been investigated at length over the past years. Isomorphisms in weak system (like linear lambda calculus) have recently been
investigated due to their practical interest in library search. In this paper we give a remarkably simple and elegant characterization
of linear isomorphisms in the setting of Multiplicative Linear Logic (MLL), by making an essential use ofthe correctness criterion
for Proof Nets due to Girard.