mathlib

376bba8a - chore(data/finset/lattice): fix infi docstrings (#9775)