Assertion: polyhedron's face | /r/HasProperty | computed with t = m2
Facets:
value: from n
type: OTHER
value: from m
type: OTHER
Source sentences:
text: The number of vertices, edges, and faces of GP(m,n) can be computed from m and n, with T = m2 + mn