Transitive Imported Duplicates
Transitive Imported Duplicates
Table of Contents
Blueprint Summary
Blueprint Summary
→
Transitive Imported Duplicates
🔗
Compiled
2026-09-30T10:46:48Z
Project
4848fca
Merge pull request #481 from leanprover/chore/reconcile-v434-reference-pins
Lean
leanprover/lean4:v4.34.1
VersoBlueprint
4848fca
Contents
Blueprint Summary
Blueprint Summary
→