Fulek's Question on the Extremal Function of
Prior state unknown→proved
the companion pattern Fulek proposed alongside L_3 is not covered by this method
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Extremal combinatorics
Fulek's Question on the Extremal Function of
the companion pattern Fulek proposed alongside L_3 is not covered by this method
15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
the companion pattern Fulek proposed alongside L_3 is not covered by this method
the companion pattern Fulek proposed alongside L_3 is not covered by this method
Recorded attempts
Evidence graph
Connected research record
- →the companion pattern Fulek proposed alongside L_3 is not covered by this method
parent of · claim · theorem
- →Fulek's Question on the Extremal Function of
parent of · event · claim reported