Theorem Hopf_Class.mul_antipode₂

Modification history