Documentation
LeanPool
.
Erdos97ConvexOctagon
.
Imports
Search
return to top
source
Imports
Init
LeanPool.Erdos97ConvexOctagon
LeanPool.Erdos97ConvexOctagon.Basic
LeanPool.Erdos97ConvexOctagon.CayleyMenger
LeanPool.Erdos97ConvexOctagon.Certificates
LeanPool.Erdos97ConvexOctagon.Classification
LeanPool.Erdos97ConvexOctagon.CodeStateExactness
LeanPool.Erdos97ConvexOctagon.CoverageBranches
LeanPool.Erdos97ConvexOctagon.CoverageCertificate
LeanPool.Erdos97ConvexOctagon.CoverageCertificateChecker
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCoverSoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCoverTypes
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers00
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers01
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers02
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers03
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers04
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers05
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers06
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers07
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers08
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers09
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers10
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers11
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers12
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers13
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers14
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers15
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers16
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers17
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers18
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers19
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers20
LeanPool.Erdos97ConvexOctagon.CoverageCertificateConflictCovers21
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData00
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData01
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData02
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData03
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData04
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData05
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData06
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData07
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData08
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData09
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData10
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData11
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData12
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData13
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData14
LeanPool.Erdos97ConvexOctagon.CoverageCertificateData15
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts00
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts01
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts02
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts03
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts04
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts05
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts06
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryFacts07
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummarySoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateDenseSummaryValidity
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts00
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts01
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts02
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts03
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts04
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts05
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts06
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts07
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts08
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts09
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts10
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts11
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts12
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts13
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts14
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts15
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts16
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts17
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts18
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts19
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts20
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts21
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts22
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts23
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts24
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts25
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts26
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts27
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts28
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts29
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts30
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts31
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts32
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts33
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts34
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts35
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts36
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts37
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts38
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts39
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts40
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts41
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts42
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts43
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts44
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts45
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts46
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts47
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts48
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts49
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts50
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts51
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts52
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts53
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts54
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts55
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts56
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts57
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts58
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts59
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts60
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts61
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts62
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts63
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts64
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts65
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts66
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts67
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts68
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts69
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts70
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts71
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts72
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts73
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts74
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts75
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts76
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts77
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts78
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts79
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts80
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts81
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts82
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts83
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts84
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts85
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts86
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts87
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts88
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts89
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts90
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts91
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts92
LeanPool.Erdos97ConvexOctagon.CoverageCertificateFacts93
LeanPool.Erdos97ConvexOctagon.CoverageCertificateLookup
LeanPool.Erdos97ConvexOctagon.CoverageCertificateManifest
LeanPool.Erdos97ConvexOctagon.CoverageCertificateNodeSoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateSemanticSoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateSoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateSummaries
LeanPool.Erdos97ConvexOctagon.CoverageCertificateSupportSoundness
LeanPool.Erdos97ConvexOctagon.CoverageCertificateValidity
LeanPool.Erdos97ConvexOctagon.CoverageData00
LeanPool.Erdos97ConvexOctagon.CoverageData01
LeanPool.Erdos97ConvexOctagon.CoverageData02
LeanPool.Erdos97ConvexOctagon.CoverageData03
LeanPool.Erdos97ConvexOctagon.CoverageData04
LeanPool.Erdos97ConvexOctagon.CoverageData05
LeanPool.Erdos97ConvexOctagon.CoverageData06
LeanPool.Erdos97ConvexOctagon.CoverageData07
LeanPool.Erdos97ConvexOctagon.CoverageData08
LeanPool.Erdos97ConvexOctagon.CoverageData09
LeanPool.Erdos97ConvexOctagon.CoverageData10
LeanPool.Erdos97ConvexOctagon.CoverageData11
LeanPool.Erdos97ConvexOctagon.CoverageData12
LeanPool.Erdos97ConvexOctagon.CoverageData13
LeanPool.Erdos97ConvexOctagon.CoverageData14
LeanPool.Erdos97ConvexOctagon.CoverageData15
LeanPool.Erdos97ConvexOctagon.CoverageData16
LeanPool.Erdos97ConvexOctagon.CoverageData17
LeanPool.Erdos97ConvexOctagon.CoverageData18
LeanPool.Erdos97ConvexOctagon.CoverageData19
LeanPool.Erdos97ConvexOctagon.CoverageData20
LeanPool.Erdos97ConvexOctagon.CoverageData21
LeanPool.Erdos97ConvexOctagon.CoverageData22
LeanPool.Erdos97ConvexOctagon.CoverageData23
LeanPool.Erdos97ConvexOctagon.CoverageData24
LeanPool.Erdos97ConvexOctagon.CoverageData25
LeanPool.Erdos97ConvexOctagon.CoverageData26
LeanPool.Erdos97ConvexOctagon.CoverageData27
LeanPool.Erdos97ConvexOctagon.CoverageData28
LeanPool.Erdos97ConvexOctagon.CoverageData29
LeanPool.Erdos97ConvexOctagon.CoverageData30
LeanPool.Erdos97ConvexOctagon.CoverageData31
LeanPool.Erdos97ConvexOctagon.CoverageDataTypes
LeanPool.Erdos97ConvexOctagon.CoveragePairRowIndexMaskSoundness
LeanPool.Erdos97ConvexOctagon.CoveragePairRowIndexMasks
LeanPool.Erdos97ConvexOctagon.CoverageSearchCore
LeanPool.Erdos97ConvexOctagon.CoverageSearchRowChoiceSoundness
LeanPool.Erdos97ConvexOctagon.CoverageSearchRowChoices
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData00
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData01
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData02
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData03
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData04
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData05
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData06
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData07
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData08
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData09
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData10
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData11
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData12
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData13
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData14
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData15
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData16
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData17
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData18
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData19
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData20
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData21
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData22
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData23
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData24
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData25
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData26
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData27
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData28
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData29
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData30
LeanPool.Erdos97ConvexOctagon.CoverageSummaryData31
LeanPool.Erdos97ConvexOctagon.CoverageSummaryDataTypes
LeanPool.Erdos97ConvexOctagon.CoverageSummaryTypes
LeanPool.Erdos97ConvexOctagon.CoverageSummaryValidity
LeanPool.Erdos97ConvexOctagon.CycleStrip
LeanPool.Erdos97ConvexOctagon.EquidistantFour
LeanPool.Erdos97ConvexOctagon.FiniteModel
LeanPool.Erdos97ConvexOctagon.GeometryReduction
LeanPool.Erdos97ConvexOctagon.Gram
LeanPool.Erdos97ConvexOctagon.Incidence
LeanPool.Erdos97ConvexOctagon.Main
LeanPool.Erdos97ConvexOctagon.Obstructions
LeanPool.Erdos97ConvexOctagon.PackedCertificates
LeanPool.Erdos97ConvexOctagon.PairCompatibility
LeanPool.Erdos97ConvexOctagon.PairStateExactness
LeanPool.Erdos97ConvexOctagon.Pentagon
LeanPool.Erdos97ConvexOctagon.Radius
LeanPool.Erdos97ConvexOctagon.Relabelling
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra00
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra01
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra02
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra03
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra04
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra05
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra06
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra07
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra08
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra09
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra10
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra11
LeanPool.Erdos97ConvexOctagon.ResidualAlgebra12
LeanPool.Erdos97ConvexOctagon.ResidualObstructions
LeanPool.Erdos97ConvexOctagon.ResidualRepresentatives
LeanPool.Erdos97ConvexOctagon.RowMasks
LeanPool.Erdos97ConvexOctagon.RowSymmetry
Imported by