chore: remove unnecessary simp priorities #6741
Triggered via pull request
January 28, 2025 23:50
leanprover-community-bot
leanprover-community-bot
labeled
#6812
Status
Skipped
Total duration
2s
Artifacts
–