Theorem Hopf_Class.mul_antipode₁

Modification history