feat(lean,#13483): tranche 12 -- admission des temoins dyadiques T=2 (clignotant, crapaud) - #18884

feat(lean,#13483): tranche 12 -- admission des temoins dyadiques T=2 (clignotant, crapaud)#18884

myia-ai-01 merged 2 commits into

mainjsboige/CoursIA:mainfrom

feature/13483-t12-periodic-witnessesjsboige/CoursIA:feature/13483-t12-periodic-witnessesCopy head branch name to clipboard