refactor: add definitions to allow turnstiles anywhere in locations #7960
Triggered via pull request
March 10, 2025 19:10
leanprover-community-bot
leanprover-community-bot
labeled
#7425
Status
Skipped
Total duration
2s
Artifacts
–