chore: rename insert_emptyc_eq to insert_empty_eq
#8007
Triggered via pull request
March 12, 2025 08:05
leanprover-community-bot
leanprover-community-bot
labeled
#7451
Status
Skipped
Total duration
3s
Artifacts
–