Hover Uses Dedup Doc

 Hover Uses Dedup Doc🔗

Compiled2026-08-12T14:07:41ZProjectc3b8a93Merge pull request #421 from leanprover/chore/lean-4.33-finalLeanleanprover/lean4:v4.33.0VersoBlueprintc3b8a93
Lemma2
uses 0used by 1XL∃∀N

Base lemma for repeated references.

Lemma3
uses 1used by 0XL∃∀N

Using Lemma 2 and again Lemma 2.