FreyPackage.of_not_FermatLastTheorem_p_ge_5

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

Referenced by

Rewards pledged

No rewards pledged yet.