Theorem Hopf_Class.antipode_antipode

Modification history