on Leclerc's Frobenius Categories -- Atom-Molecule Correspondence in Grothendieck