delete unnecessary assumptions on in_funspace_abstract theorem