feat: e-processes, the definition IsEProcess and its first closure properties - #401

feat: e-processes, the definition IsEProcess and its first closure properties#401

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/eprocess-definitionRemyDegenne/LMLExplore:evr/eprocess-definitionCopy head branch name to clipboard