bn:05570716n
Noun Named Entity
PT
No term available
EN
theorem Wikidata
Relations
Sources
IS A
NAMED AFTER