mathlib3

8af7091a - chore(*): add mathlib4 synchronization comments (#19190)

chore(*): add mathlib4 synchronization comments (#19190) Regenerated from the [port status wiki page](https://github.com/leanprover-community/mathlib/wiki/mathlib4-port-status). Relates to the following files: * `algebra.homology.Module` * `algebra.lie.weights` * `algebraic_geometry.Scheme` * `algebraic_geometry.Spec` * `analysis.analytic.isolated_zeros` * `analysis.analytic.uniqueness` * `analysis.complex.open_mapping` * `analysis.mellin_transform` * `analysis.special_functions.gamma.basic` * `category_theory.monoidal.CommMon_` * `geometry.euclidean.angle.oriented.affine` * `geometry.euclidean.angle.oriented.right_angle` * `geometry.euclidean.angle.oriented.rotation` * `geometry.euclidean.circumcenter` * `geometry.euclidean.sphere.ptolemy` * `geometry.euclidean.triangle` * `measure_theory.function.conditional_expectation.unique` * `order.category.BddDistLat` * `order.category.BddLat` * `order.category.CompleteLat` * `order.category.HeytAlg` * `probability.kernel.measurable_integral` * `probability.kernel.with_density` * `ring_theory.ring_hom.finite` * `topology.continuous_function.ideals` * `topology.gluing`