feat: let synth order checker detect generalized projections #7712
Triggered via pull request
March 3, 2025 22:23
leanprover-community-bot
leanprover-community-bot
labeled
#7310
Status
Skipped
Total duration
2s
Artifacts
–