mathlib

0ff46b9c - doc(order/filter/basic): fix notations in doc of filter.comap (#16530)

doc(order/filter/basic): fix notations in doc of filter.comap (#16530) The notations in the doc of ```filter.comap``` did not match the notations used in the lemma and thus were a bit confusing (at least for me).