mathlib3

15726ee0 - move(set_theory/{schroeder_bernstein → cardinal/schroeder_bernstein}): move file (#14426)

move(set_theory/{schroeder_bernstein → cardinal/schroeder_bernstein}): move file (#14426) Schroeder-Bernstein is ultimately the statement that cardinals are a total order, so it should go in that folder.