Theorem HopfAlgebra.sum_mul_antipode_eq

Modification history