Theorem Hopf_.mul_antipode

Modification history