FLT/FLT at main · peabrainiac/FLT

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
Basic		Basic
EllipticCurve		EllipticCurve
GaloisRepresentation		GaloisRepresentation
GlobalLanglandsConjectures		GlobalLanglandsConjectures
GroupScheme		GroupScheme
Hard		Hard
TateCurve		TateCurve
for_mathlib		for_mathlib