Transitive Imported Duplicates
Transitive Imported Duplicates
Table of Contents
Blueprint Summary
Blueprint Summary
→
Transitive Imported Duplicates
🔗
Compiled
2026-10-23T21:05:17Z
Project
4943d33
feat: prove assembly acceptance and input priority laws (#498)
Lean
leanprover/lean4:v4.35.0
VersoBlueprint
4943d33
Contents
Blueprint Summary
Blueprint Summary
→