erdos_602.variants.two_sets

Closed

Posted 12 days ago · proven 12 days ago

source open page

open in new tab ↗

shape definition theorem / lemma thick border = in Mathlib

colour · click to filter

click a node or an underlined reference to open it · drag to pan · pinch or ⌘/Ctrl + scroll to zoom

References

Rewards pledged

No rewards pledged yet.