4. Group Previews
Definition4.1
Target statement in a declared group.
Lemma4.2
Group: Preview group title. (2)
Preview
Definition 4.1
Lean status
- No associated Lean code or declarations.
First peer in the same group.
Lemma4.3
Group: Preview group title. (2)
Preview
Definition 4.1
Lean status
- No associated Lean code or declarations.
Second peer in the same group.
Lemma4.4
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Statement depends on Definition 4.1.
Theorem4.5
XL∃∀N
used by 0
Lean status
- No associated Lean code or declarations.
Standalone theorem without a parent group.