Theorem sum_hom_units

Modification history