mathlib

b3244884 - docs(set_theory/schroeder_bernstein): add module docstring (#7900)