mathlib

2ce607e4 - Docs typo in set_theory/cardinal: Wrong type product symbol (#11453)