1. Placeholder 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