1 Introduction

This blueprint describes the formalization of the characterization of global steady states of the Vlasov-Maxwell-Landau (VML) system on a flat 3-torus \(\mathbb {T}^3\). The main result (Theorem 42 in the notation of the original paper) states that any smooth, positive, integrable steady state of the VML system with sufficient velocity decay must be a spatially homogeneous equilibrium Maxwellian, with vanishing electric field and constant magnetic field.