Assertion: hopf algebra | /r/CapableOf | add antipode
Facets:
value: to the bialgebra axioms
type: TRANSITIVE-OBJECT
Source sentences:
text: The Hopf algebra adds an antipode to the bialgebra axioms.