`FLT/KnownIn1980s/`

276 declarations, 19 contain sorry, 0 declared as axioms; 14 files

Folders

EllipticCurves/ 11 files, 268 declarations
PGL2/ 2 files, 7 declarations
RepresentationTheory/ 1 files, 1 declarations