Summary Triage

 Summary Triage🔗

Compiled2026-07-17T18:20:12ZProject51ebcaeMerge pull request #348 from leanprover/feat/fix-graph-data-topologyLeanleanprover/lean4:v4.32.0VersoBlueprint51ebcae
Definition4
Group: Triage group heading. (14)
Group member previews
Preview
Definition 5
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0
Used by 2
Reverse dependency previews
Preview
Theorem 17
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
XL∃∀N
OwnerAlice ExampleEffortsmallPrioritylowTagsfoundationlocalPRlink

Definition 01.

Definition5
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0
Used by 2
Reverse dependency previews
Preview
Theorem 17
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
XL∃∀N

Definition 02.

Definition6
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 03.

Definition7
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 04.

Definition8
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 05.

Definition9
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 06.

Definition10
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 07.

Definition11
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 08.

Definition12
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 09.

Definition13
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 10.

Definition14
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N

Definition 11.

Definition15
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 1XL∃∀N
OwnerBob ExampleEffortsmallPriorityhighTagscriticalquick-winPRlink

Definition 12.

Definition16
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 0XL∃∀N
OwnerBob ExampleEffortsmallPriorityhighTagscriticalleaf-quick-win

Actionable leaf definition with no downstream users.

Theorem17
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
Statement uses 12
Statement dependency previews
Preview
Definition 4
Loading preview
Statement dependency preview content is loaded from the rendered-fragment cache.
used by 0XL∃∀N
OwnerAlice ExampleEffortlargeTagscritical

Depends on Definition 4, Definition 5, Definition 6, Definition 7, Definition 8, Definition 9, Definition 10, Definition 11, Definition 12, Definition 13, Definition 14, and Definition 15.

Theorem18
Group: Triage group heading. (14)
Group member previews
Preview
Definition 4
Loading preview
Group member preview content is loaded from the rendered-fragment cache.
uses 0used by 0XL∃∀N

Proof-only dependency sample.

Proof for Theorem 18
Proof uses 2
Proof dependency previews
Preview
Definition 4
Loading preview
Proof dependency preview content is loaded from the rendered-fragment cache.

Proof uses Definition 4 and Definition 5.

Contents

  1. Blueprint Summary