http://caligraph.org/ontology/Lemma_in_number_theory

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Lemma in number theory
rdfs:subClassOf	Lemma
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lemmas_in_number_theory
is rdf:type of	Zolotarev's lemma Krasner's lemma Fundamental lemma (Langlands program) Lifting-the-exponent lemma Thue's lemma Euclid's lemma Gauss's lemma (number theory) Heegner's lemma Bézout's identity Ihara's lemma

About: clgo:Lemma_in_number_theory