Theorem Hopf_Class.mul_antipode

Modification history