Summary Triage

 Summary Triage🔗

Compiled2026-07-01T21:39:41ZProject5f17f8aMerge pull request #222 from leanprover/chore/reference-blueprints-catalog-all-v4.30.0-v4.31.0Leanleanprover/lean4:v4.31.0VersoBlueprint5f17f8a
Definition4
Group: Triage group heading. (13)
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 16
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
XL∃∀N
OwnerAlice ExampleEffortsmallPrioritylowTagsfoundationlocalPRlink

Definition 01.

Definition5
Group: Triage group heading. (13)
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 16
Loading preview
Reverse dependency preview content is loaded from the rendered-fragment cache.
XL∃∀N

Definition 02.

Definition6
Group: Triage group heading. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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. (13)
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.

Theorem16
Group: Triage group heading. (13)
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.

Theorem17
Group: Triage group heading. (13)
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 17
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