Assertion: generating function | /r/HasProperty | given by well-known ogf formula
Facets:
Source sentences:
text: then this generating function's diagonal coefficient generating function is given by the well-known OGF formula