Theorem HopfAlgebra.sum_mul_antipode_eq_algebraMap_counit

Modification history