2. Filled statement chapter
Theorem1.1
uses 0used by 0✓L∃∀N
Associated Lean declarations
-
filledFacetFormal[complete] -
facetExternal[complete]
Lean code for Theorem1.1●1 theorem
Associated Lean declarations
-
facetExternal[complete]
Associated Lean declarations
-
facetExternal[complete]
-
theoremdefined in VersoBlueprintTests/BlueprintImportedContributions/FacetPlaceholder.leancomplete
theorem facetExternal : True
theorem facetExternal : True
Theorem1.1
uses 0used by 0✓L∃∀N
Associated Lean declarations
-
filledFacetFormal[complete] -
facetExternal[complete]
A completed statement from page one.
Lean code for Theorem1.1●1 theorem
Associated Lean declarations
-
facetExternal[complete]
Associated Lean declarations
-
facetExternal[complete]
-
theoremdefined in VersoBlueprintTests/BlueprintImportedContributions/FacetPlaceholder.leancomplete
theorem facetExternal : True
theorem facetExternal : True
Lean code for Theorem1.1
Associated Lean declarations
-
filledFacetFormal[complete]
Associated Lean declarations
-
filledFacetFormal[complete]
theorem filledFacetFormal : True := trivial