Theorem FreimanHom.one_apply

Modification history