Commit 2023-02-03 08:20 0ebfdb71

chore(*): add mathlib4 synchronization comments (#18365) Regenerated from the port status wiki page. Relates to the following files:

• algebra.graded_mul_action
• category_theory.sigma.basic
• combinatorics.set_family.intersecting
• combinatorics.set_family.lym
• data.finsupp.alist
• data.pfun
• group_theory.presented_group
• group_theory.quotient_group
• group_theory.submonoid.inverses
• order.ideal
• set_theory.lists
• topology.algebra.const_mul_action
• topology.algebra.constructions
• topology.connected
• topology.dense_embedding
• topology.homeomorph
• topology.separation
• topology.support
• topology.uniform_space.basic