Theorem FreimanHom.inv_apply

Modification history