Deakstadieđáhus: On lower bounds for the matching number of subcubic graphs