feat(lean,#17845): brique k2.4 -- pas complet de pullback (toRealProd + caracterisations de support + pullback) - #19084

feat(lean,#17845): brique k2.4 -- pas complet de pullback (toRealProd + caracterisations de support + pullback)#19084

myia-ai-01 merged 3 commits into

mainjsboige/CoursIA:mainfrom

feature/komlos-k24-pullbackjsboige/CoursIA:feature/komlos-k24-pullbackCopy head branch name to clipboard