Theory UniAtoms
section
"
General VS Proofs
"
subsection
"
Univariate Atoms
"
theory
UniAtoms
imports
Debruijn
begin