Theorem Hopf_.antipode_counit

Modification history