Hall Marriage

MaRDI QIDQ40294swMATHFDO

Authors Dongchen Jiang, Tobias Nipkow

Publication date 17 December 2010

Official website https://www.isa-afp.org/entries/Marriage.html

Cites work

• The Marriage Problem

Cited in

(1)

• Proof pearl: the marriage theorem

This page was built for software: Hall Marriage