Theorem Hopf_Class.antipode_right

Modification history