help me understand a line in an "ATA is positive, semi-definite" proof

Printable View