Skip to content

feat(lean,#2159): Partie 62 construction Plus — SGA 4 II.3 (fonctorialite, toPlus, propriete universelle) - #12895

Merged
jsboige merged 3 commits into
mainfrom
feature/2159-partie62-plus-construction
Aug 28, 2026
Merged

feat(lean,#2159): Partie 62 construction Plus — SGA 4 II.3 (fonctorialite, toPlus, propriete universelle)#12895
jsboige merged 3 commits into
mainfrom
feature/2159-partie62-plus-construction

Merge branch 'main' into feature/2159-partie62-plus-construction

4e82de9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar