Maybe it's just convenient, but is there a proof that:
$V^\ast\otimes V^\ast:V\times V\to\mathbb{F}$
when only the universal property of the tensor product is assumed to hold? I've asked a similar question recently, but am looking here specifically for a proof.