refactor(Semantics/Events): merge Defs.lean into Basic.lean#34

github-actions[bot] merged 1 commit into

mainhawkrobe/linglib:mainfrom

merge-events-defs-basichawkrobe/linglib:merge-events-defs-basicCopy head branch name to clipboard