Theory PolyAtoms
section
"
Atoms
"
theory
PolyAtoms
imports
ExecutiblePolyProps
begin
subsection
"
Definition
"