devissage noun1 •A technique introduced by Alexander Grothendieck for comparing invariants about coherent sheaves on noetherian systems.In the particular case where E is homotopy K-theory, this Gysin triangle yields a new proof of Quillen's localization theorem, which avoids the use of devissage. — 2015