Theorem Hopf_Class.antipode_comul₂

Modification history