Theory Bot_Terms
theory
Bot_Terms
imports
Utils
begin
subsection
‹Bottom terms›