Repository navigation
fix(tooling,#17016): count_code_sorry — en-tete instance multi-ligne + .mathlib-cache hors perimetre - #17018
Merged
Commits
Commits on Sep 20, 2026
instance multi-ligne + .mathlib-cache hors perimetre - #17018