Commit 2023-02-07 04:08 50832dae

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

• algebra.char_zero.quotient
• algebra.periodic
• algebra.star.self_adjoint
• combinatorics.additive.ruzsa_covering
• combinatorics.set_family.kleitman
• combinatorics.young.semistandard_tableau
• data.dfinsupp.order
• data.fin.tuple.bubble_sort_induction
• data.multiset.fintype
• data.nat.part_enat
• data.pnat.factors
• data.setoid.partition
• data.sigma.interval
• group_theory.double_coset
• group_theory.perm.subgroup
• measure_theory.measurable_space_def
• order.heyting.hom
• order.hom.complete_lattice
• topology.G_delta
• topology.algebra.order.archimedean
• topology.algebra.order.compact
• topology.algebra.order.extr_closure
• topology.algebra.order.intermediate_value
• topology.algebra.order.monotone_continuity
• topology.algebra.order.monotone_convergence
• topology.algebra.order.proj_Icc
• topology.algebra.order.t5
• topology.algebra.star
• topology.continuous_function.basic
• topology.instances.sign
• topology.order.priestley
• topology.perfect