Documentation

LeanPool.FrontierMathOpenHypergraphs.Uniform.FrameExact

Exact small-frame validations #

source
theorem HypergraphLowerBound.exactSmallFrames_valid (spec : FrameSpec) :
spec ∈ exactSmallFrames → spec.IsValid