fix(lean): Add trait-level arguments as explicit arguments to trait items#1803
Open
clementblaudeau wants to merge 6 commits intomainfrom
Open
fix(lean): Add trait-level arguments as explicit arguments to trait items#1803clementblaudeau wants to merge 6 commits intomainfrom
clementblaudeau wants to merge 6 commits intomainfrom
Commits
Commits on Dec 5, 2025
Commits on Dec 8, 2025
- committed
- committed
- committed