Type: External identifier

提供: Mathpedia