mathlib

573eea92 - chore(*): add mathlib4 synchronization comments (#19239)

chore(*): add mathlib4 synchronization comments (#19239) Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status). Relates to the following files: * `order.irreducible`