Theorem Hopf_Class.hom_antipode

Modification history