1. Statement chapter
Definition1.1
A statement dependency.
Lean code for Definition1.1●1 definition
Associated Lean declarations
Associated Lean declarations
-
complete
def ImportedContributions.statementDependency : Prop
def ImportedContributions.statementDependency : Prop
Lemma1.2
A proof dependency.
Lean code for Lemma1.2●1 theorem
Associated Lean declarations
-
ImportedContributions.proofDependency[complete]
Associated Lean declarations
-
ImportedContributions.proofDependency[complete]
-
theoremdefined in VersoBlueprintTests/BlueprintImportedContributions/Statement.leancomplete
theorem ImportedContributions.proofDependency : ImportedContributions.statementDependency
theorem ImportedContributions.proofDependency : ImportedContributions.statementDependency
Theorem1.3
A statement declared in this module.
Lean code for Theorem1.3●1 theorem
Associated Lean declarations
-
lateAttachment[complete]
Associated Lean declarations
-
lateAttachment[complete]
-
theoremdefined in VersoBlueprintTests/BlueprintImportedContributions/LateAttachment.leancomplete
theorem lateAttachment : True
theorem lateAttachment : True