Formalizing Flag Algebras in Lean | Digital Library | PAMCET | PAMCET