Theorem HopfAlgebra.sum_antipode_mul_eq

Modification history