Brualdi–Ryser theorem

GPTKB entity