Assertion: noetherian ring | /r/CapableOf | build block
Facets:
Source sentences:
text: They are building blocks for (connective) derived algebraic geometry.