Theorem HopfAlgebra.sum_antipode_mul_eq_smul

Modification history