Repository navigation
Fix(infer,#18556): tranche 2b/Glossaire — enoncés avant stubs, prose 3/sqrt(prec), glossaire mesuré - #19823
Merged
Commits
Commits on Oct 8, 2026
Fix(infer,#18556): tranche 2b/Glossaire -- enonces avant stubs, prose 3/sqrt(prec), glossaire mesure
andcommitted- andcommitted
- andcommitted
- committed
- andcommitted