Theorem Hopf_Class.antipode_comul

Modification history