Perfect matching from a nonzero determinant
= Perfect matching from a nonzero determinant
If a square bipartite adjacency matrix $B$ has nonzero determinant, some product in its Leibniz expansion is nonzero. Its permutation selects one edge at each vertex and therefore gives a perfect matching.