Theorem Compactum.str_hom_commute

Modification history