Theorem HopfAlgebra.sum_mul_antipode_eq_smul

Modification history