Cauchy-Frobenius lemma

GPTKB entity