Wiles_Frey
Open
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
- closed FreyPackage
- open FreyCurve.torsion_not_isIrreducible
- closed FreyPackage.freyCurve
- open FreyCurve.torsion_isHardlyRamified
Rewards pledged
No rewards pledged yet.