chore: rename definitions and theorems about LTS.Execution and LTS.OmegaExecution#449
Open
ctchou wants to merge 1 commit intoleanprover:mainfrom
Open
chore: rename definitions and theorems about LTS.Execution and LTS.OmegaExecution#449ctchou wants to merge 1 commit intoleanprover:mainfrom
ctchou wants to merge 1 commit intoleanprover:mainfrom
