Erdős problem 774
Is every proportionately dissociated (infinite) set the union of a finite number of dissociated sets?
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/774.leanTrue ↔ ∀ (A : Set ℕ), A.Infinite → A.IsProportionatelyDissociated → ∃ T, (∀ S ∈ T, S.IsDissociated) ∧ T.Finite ∧ A = ⋃₀ TOpenStatement only, no proof