Skip to content

Erdős problem 742

Murty-Simon Conjecture

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/742.lean

Formal Conjectures

FormalConjectures/ErdosProblems/742.leanErdos742.complete_bipartite_edge_count1 lineExact file
∀ (a b : ℕ), (completeBipartiteGraph (Fin a) (Fin b)).edgeSet.ncard = a * b
TestStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page