Theorem BialgEquiv.toHopfAlgebraCatIso_refl

Modification history