Theorem Hopf_Class.antipode_counit

Modification history