Loading paper
DDVV-type inequality for Hermitian matrices | Tomesphere