provedFor

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Hasse–Weil_conjecture elliptic curves over finite fields
gptkb:Ramanujan_conjecture gptkb:GL(2)