Template:Hopf algebra property

This article defines a property that can be evaluated for any Hopf algebra