Cauchy interlacing theorem

GPTKB entity