Theorem HallMarriageTheorem.hall_cond_of_restrict

Modification history