Quillen’s Devissage Theorem and Localization Theorem

We used Quillen’s theorem A and B to prove Devissage theorem and Localization theorem, along with certain important consequences. [Notes]