A Formalization of the Exponential Blowup in the Transformations between CNF and DNF. - Leon Raffael Schulz; Martin Desharnais-Schäfer; Jan Johannsen (Arch. Formal Proofs, 2026)