help me understand a line in an "ATA is positive, semi-definite" proof
I am looking at a proof for why ATA is positive semi-definite when A is nxn and it has this line.
vTAATv = ATv • ATv ≥ 0.
I understand what vTAATv means and the purpose of proving that it's nonnegative, etc... My...