Effective obstruction to lifting Tate classes from positive characteristic
Primary LanguagePythonOtherNOASSERTION