Theorem Hopf_.mul_antipode₁

Modification history