mathlib3

1fc36cc9 - chore(*): add mathlib4 synchronization comments (#17736)

chore(*): add mathlib4 synchronization comments (#17736) Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status). Relates to the following PRs: * `algebra.group.semiconj`: https://github.com/leanprover-community/mathlib4/pull/717 * `algebra.group_with_zero.basic`: https://github.com/leanprover-community/mathlib4/pull/669 * `algebra.group_with_zero.inj_surj`: https://github.com/leanprover-community/mathlib4/pull/722 * `algebra.ring.inj_surj`: https://github.com/leanprover-community/mathlib4/pull/734 * `algebra.ring.units`: https://github.com/leanprover-community/mathlib4/pull/746 * `data.finite.defs`: https://github.com/leanprover-community/mathlib4/pull/698 * `order.lattice`: https://github.com/leanprover-community/mathlib4/pull/642