Theorem Hopf_Class.one_antipode

Modification history