Theorem FreimanHom.one_comp

Modification history