erdos_1.variants.lb_strong

Open

Posted 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.