Various improvements to trait clauses#262
Merged
Nadrieril merged 10 commits intoAeneasVerif:mainfrom Nadrieril:groundworkJun 19, 2024
+473-270
Commits
Commits on Jun 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
