Theorem Hopf_Class.antipode_comul₁

Modification history