FLT/GlobalLanglandsConjectures/
36 declarations, 8 contain sorry, 0 declared as axioms; 2 files
Files
- GLnDefs.lean 31 declarations
- GLzero.lean 5 declarations
FLT/GlobalLanglandsConjectures/36 declarations, 8 contain sorry, 0 declared as axioms; 2 files