Theory LFunctions

✐‹creator "Kevin Kappelmann"›
theory LFunctions
  imports
    Function_Properties
    Function_Relators
    Functions_Restrict
begin

paragraph ‹Summary›
text ‹Basic concepts on functions.›


end