Theorem Hopf_.antipode_comul₁

Modification history