Skip to content

Erdős problem 375

Is Erdos375Prop true?

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

375.lean

Retained formal statement1 of 5

Is Erdos375Prop true?

FormalConjectures/ErdosProblems/375.leanErdos375.erdos_3751 lineExact file
True ↔ Erdos375.Erdos375Prop
OpenStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page