Commit 2022-12-06 09:40 8770c841
View on Github →chore(*): add mathlib4 synchronization comments (#17806) Regenerated from the port status wiki page. Relates to the following PRs:
algebra.divisibility.basic: https://github.com/leanprover-community/mathlib4/pull/833algebra.group.with_one.defs: https://github.com/leanprover-community/mathlib4/pull/841algebra.hom.commute: https://github.com/leanprover-community/mathlib4/pull/831algebra.hom.group: https://github.com/leanprover-community/mathlib4/pull/659algebra.hom.units: https://github.com/leanprover-community/mathlib4/pull/745algebra.ring.basic: https://github.com/leanprover-community/mathlib4/pull/830category_theory.natural_isomorphism: https://github.com/leanprover-community/mathlib4/pull/820combinatorics.quiver.connected_component: https://github.com/leanprover-community/mathlib4/pull/836combinatorics.quiver.subquiver: https://github.com/leanprover-community/mathlib4/pull/828