Hover Uses Dedup Doc

 Hover Uses Dedup Doc🔗

Compiled2026-10-23T21:05:09ZProject4943d33feat: prove assembly acceptance and input priority laws (#498)Leanleanprover/lean4:v4.35.0VersoBlueprint4943d33
Lemma2
uses 0used by 1XL∃∀N

Base lemma for repeated references.

Lemma3
uses 1used by 0XL∃∀N

Using Lemma 2 and again Lemma 2.