FLT/FLT at main · DominicBreuker/FLT

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
Assumptions		Assumptions
AutomorphicForm/QuaternionAlgebra		AutomorphicForm/QuaternionAlgebra
AutomorphicRepresentation		AutomorphicRepresentation
Basic		Basic
DedekindDomain		DedekindDomain
Deformations		Deformations
DivisionAlgebra		DivisionAlgebra
EllipticCurve		EllipticCurve
GaloisRepresentation		GaloisRepresentation
GlobalLanglandsConjectures		GlobalLanglandsConjectures
GroupScheme		GroupScheme
HaarMeasure		HaarMeasure
Hacks		Hacks
Mathlib		Mathlib
NumberField		NumberField
Patching		Patching
QuaternionAlgebra		QuaternionAlgebra
TateCurve		TateCurve