12:1512:15, 18 March 2015diffhist+31
Hall's marriage theorem
"SDR" opaque and used inconsistently - standardised on "transversal". Removed "(MC)" that was doing no work. Capitalised playing card names.
12:1512:15, 18 March 2015diffhist+31
Hall's marriage theorem
"SDR" opaque and used inconsistently - standardised on "transversal". Removed "(MC)" that was doing no work. Capitalised playing card names.