Theorem HallMarriageTheorem.hall_cond_of_compl

Modification history