StevenXClontz’s avatarStevenXClontz’s Twitter Archive—№ 4,416

  1. …in reply to @mathforge
    @mathforge Let x:A^B→X be defined by x(f)=... I see no problem here.