Summary Triage
Definition4
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Used by 2
Preview
Theorem 16
Definition 01.
Definition5
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Used by 2
Preview
Theorem 16
Definition 02.
Definition6
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 03.
Definition7
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 04.
Definition8
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 05.
Definition9
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 06.
Definition10
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 07.
Definition11
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 08.
Definition12
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 09.
Definition13
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 10.
Definition14
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 11.
Definition15
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
Definition 12.
Theorem16
Group: Triage group heading. (13)
Lean status
- No associated Lean code or declarations.
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)
Lean status
- No associated Lean code or declarations.
Proof-only dependency sample.
Proof
Proof uses Definition 4 and Definition 5.